Search CORE

124 research outputs found

Statechart의 실시간 성질의 정형적인 명세와 증명 방법

Author: 강교철
Publication venue: 한국정보과학회
Publication date: 28/10/1994
Field of study

포항공과대학교

ASADAL/OBJ Hybrid: 고신뢰성 하이브리드 시스템 모델링을 위한 객체지향 프레임워크

Author: 강교철
Publication venue: 한국정보과학회
Publication date: 01/07/2005
Field of study

2

포항공과대학교

ASADAL : A System Analysis and Design Tool

Author: 강교철
Publication venue
Publication date: 01/03/1997
Field of study

1

포항공과대학교

소프트웨어의 생산성 및 품질을 획기적으로 향상시킬 수 있는 제품계열 기반의 개발 방법론

Author: 강교철
Publication venue: 육군본부, 교육사령부, 국방과학연구소
Publication date: 18/11/2010
Field of study

2

포항공과대학교

Mobile UI Model: 모바일 응용 SW 설계를 위한 모델

Author: 강교철
Publication venue: 한국정보과학회, 한국정보처리학회
Publication date: 20/02/2008
Field of study

2

포항공과대학교

ASADAL : A Specification Method for Realtime Systems Behavior Analysis Through Specification Execution

Author: 강교철
Publication venue
Publication date: 31/08/1995
Field of study

1

포항공과대학교

Academia-Industry Collaboration in Information Technology

Author: 강교철
Publication venue
Publication date: 10/06/1996
Field of study

1

포항공과대학교

Product Line Engineering for Embedded Systems

Author: 강교철
Publication venue: 'Baishideng Publishing Group Inc.'
Publication date: 19/11/2003
Field of study

1

포항공과대학교

Model-Based Software Engineering: A New Challenge

Author: 강교철
Publication venue: 'Baishideng Publishing Group Inc.'
Publication date: 05/02/1996
Field of study

1

포항공과대학교

객체지향 프로그램으로부터 메타모델을 기반으로 한 확장된 시퀀스 다이어그램의 생성 방법

Author: 강교철
Publication venue: 한국정보과학회
Publication date: 20/02/2003
Field of study

2

포항공과대학교

…

core