Showing results 1 to 5 of 5
Automatic construction of timing diagrams from UML/MARTE behavioral models for real-time embedded software = 실시간 임베디드 소프트웨어를 위한 UML/MARTE 행위 모델로 부터의 타이밍 다이어그램 자동생성 기법link Nguyen, Minh Chau; Nguyen, Minh Chau; et al, 한국과학기술원, 2013 |
Exception and interrupt modeling in UML 2.0 sequence diagrams for embedded software development = 임베디드 소프트웨어 개발을 위한 UML 2.0 시퀀스 다이어그램의 예외상황과 인터럽트 모델링link Lee, Hee-Jin; 이희진; et al, 한국과학기술원, 2006 |
Implied scenario analysis in UML 2.0 scenario specification = UML 2.0 시나리오 명세에 내재된 시나리오 분석기법link Song, In-Gwon; 송인권; et al, 한국과학기술원, 2007 |
Selective white-box testing : a unit testing strategy for test-driven development with adjustable coverage = White-box test 범위의 조절을 통하여 TDD(Test-Driven Development) 테스트의 효율성 향상을 위한 단위 시험 전략link Choi, Hui-Yeong; 최희영; et al, 한국정보통신대학교, 2005 |
Timing consistency checking for UML/MARTE behavioral models of real-time embedded software = 실시간 임베디드 소프트웨어의 UML/MARTE 행위 모델에 대한 시간 일관성 검사 기법link Choi, Jin-Ho; 최진호; et al, 한국과학기술원, 2013 |
Discover