테스트 수행시간을 고려한 임베디드 소프트웨어의 적합성 테스트 시나리오 추출기법(Conformance Test Scenario Extraction Techniques for Embedded Software using Test Execution Time)
· 약 1분
정보처리학회논문지D(ISSN:1598-2866), 제17-D권, 제4호, pp. 147-156, 2010년 04월
웹 서비스 동적 연동을 위한 클라이언트 에이전트 프레임워크(A Client Agent Framework for Dynamic Connection with Web Services)
· 약 1분
정보처리학회논문지A(ISSN:1598-2831), 제16-A권, 제5호, pp. 339-346, 2009년 10월
순차도의 추상 시나리오 기반의 UML 상태 머신 다이어그램 시뮬레이션 기법(Simulation of State Machine Diagram based on Sequence Diagram)
· 약 1분
정보과학회논문지:소프트웨어 및 응용(ISSN:1229-6848), 제36권, 제6호, pp 443-450, 2009년 6월
UML 상태기계 다이어그램을 이용한 컴포넌트 인터페이스의 행위 호환성 검증도구
· 약 1분
정보처리학회논문지D(ISSN:1598-2866), 제16-D권, 제1호, pp. 65-72, 2009년 2월
Slice 모델을 이용한 유한상태머신의 트랜지션 축약 알고리즘
· 약 1분
정보과학회논문지:소프트웨어 및 응용(ISSN:1229-6848), 제35권, 제 1호, pp. 12-21, 2008년 1월
FSM의 행위 일치 알고리즘을 이용한 임베디드 시스템의 합성적 안전성 분석 기법
· 약 1분
정보처리학회논문지D (ISSN : 1598-2866), 제14—D권, 제 5호, pp. 633-640, 2007년 10월
동적 재구성이 가능한 데이터 지향적인 양방향 통합 리모컨의 소프트웨어 프레임워크
· 약 1분
정보처리학회논문지A(ISSN 1598-2831), 제14—A권, 제 5호, pp. 287-294, 2007년 10월
페트리 네트를 이용한 시스템 속성의 명세 및 분석(Specification and Analysis of System Properties by using Petri nets)
· 약 1분
정보처리학회논문지D, 제11-D권 제1호, pp. 115-122, 2004년 2월.
객체지향 도메인 모델을 이용한 컴포넌트 식별 도구 개발(Tool Development for Identifying Components using Object-Oriented Domain Models)
· 약 1분
정보과학회논문지:CP, 제9권, 제4호, pp. 381-392, 2003년 8월
J2EE 플랫폼에서의 개념적 컴포넌트 모델링 및 컴포넌트 생성지원도구 개발(Development of a Supporting Tool for Conceptual Component Modeling and Component Construction on the J2EE Platform)
· 약 1분
정보처리학회논문지 D, 제 8-D권, 제 6호, pp. 761-770, 2001년 12월