http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
HDMI(High-Definition Multimedia Interface) 인증절차 및 시험결과
허용민(Yongmin Hur),송정태(Jung-Tae Song),이상회(Sang-Hoi Yi),이원천(Won-chun Lee),정인명(In-myoung Jeong) 대한전자공학회 2010 대한전자공학회 학술대회 Vol.2010 No.6
The High-Definition Multimedia Interface (HDMI) is an industry-supported, uncompressed all-digital audio/video interface. HDMI provides a connection between any compatible digital audio/video sources, such as a set-top box, DVD player, and A/V receiver and a compatible digital audio and/or video monitor, such as a digital television. This paper explains the certification procedures and testing results of HDMI device under test.
UML 정적구조 다이아그램으로부터 LOTOS 명세 생성
김철홍(Cheol Hong Kim),안유환(Yu Whoan Ahn),이원천(Won Chun Lee) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.12
It is recognized that object-oriented methods and formal and formal methods are two different main streams that will influence on the future direction of software engineering. A merging effort on these two technologies, named a "a formal approach on system specifications using object-oriented methods" emerges rapidly and produces remarkable research results. LOTOS is well-suited to an object-based approach. However, to provide a full object-oriented approach, we need to model generalization (i,e, inheritance and polymorphism). Most authors who have examined this topic have proposed extensions to LOTOS. As an extension of such an effort, this paper proposes a method that generates LOTOS specification from static structure diagrams in UML.