POSTECH

교원프로필

교원에 대한 정보를 나타내는 표입니다.
성명	강교철 (명예교수)
소속	컴퓨터공학과
E-mail	kck@postech.ac.kr

학력

1976.02 ~ 1982.05 UNIV. OF MICHIGAN (박사-Software Engineering)
1973.02 ~ 1974.12 UNIV. OF COLORADO - BOULDER (석사-전자계산)
1966.03 ~ 1973.02 고려대학교 (학사-통계학)

주요경력

1987.07 ~ 1992.08 : Carnegie-Mellon Univ.
1985.06 ~ 1987.07 : AT&T Bell Labs.
1984.09 ~ 1985.06 : Bell Communication Resea.
1982.05 ~ 1984.08 : Univ.of Michigan 전산과

전문분야

SOFTWARE REUSE AND PRODUCT LINE SOFTWARE ENGINEERING
REQUIREMENTS ENGINEERING
REALTIME EMBEDDED SOFTWARE ENGINEERING

펼쳐보기

학술지

국제전문학술지

Effort estimation of component-based software development - a survey, IET SOFTWARE, , 5, 216-228 (2011)
Re-engineering a credit card authorization system for maintainability and reusability of components - A case study, LECTURE NOTES IN COMPUTER SCIENCE, , 4039, 156-169 (2006)
Software product line engineering, COMMUNICATIONS OF THE ACM, , 49, 29-32 (2006)
Software reuse research: Status and future, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, , 31, 529-536 (2005)
Feature-oriented re-engineering of legacy systems into product line assets - a case study, LECTURE NOTES IN COMPUTER SCIENCE, , 3714, 45-56 (2005)
Formal construction and verification of home service robots: A case study, LECTURE NOTES IN COMPUTER SCIENCE, , 3707, 429-443 (2005)
Feature binding analysis for product line component development, LECTURE NOTES IN COMPUTER SCIENCE, , 3014, 250-260 (2004)
Feature dependency analysis for product line component design, LECTURE NOTES IN COMPUTER SCIENCE, , 3107, 69-85 (2004)
A feature-based approach to product line production planning, LECTURE NOTES IN COMPUTER SCIENCE, , 3154, 183-196 (2004)
Feature-oriented product line engineering, IEEE SOFTWARE, , 19, 58- (2002)
Concepts and guidelines of feature modeling for product line software engineering, LECTURE NOTES IN COMPUTER SCIENCE, , 2319, 62-77 (2002)
Feature-based approach to object-oriented engineering of applications for reuse, SOFTWARE-PRACTICE & EXPERIENCE, , 30, 1025-1046 (2000)
A real world object modeling method for creating simulation environment of real-time systems, ACM SIGPLAN NOTICES, , 35, 93-104 (2000)
ASADAL/PROVER: A toolset for verifying temporal properties of real-time system specifications in statechart, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, , E82D, 398-411 (1999)
Feature-oriented engineering of PBX software for adaptability and reuseability, SOFTWARE-PRACTICE & EXPERIENCE, , 29, 875-896 (1999)
Adding form to real-time system specification and simulation, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, , 9, 643-661 (1999)
Refinement and validation of software requirements using incremental simulation, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, , E81D, 171-182 (1998)
ASADAL/SIM: An incremental multi-level simulation and analysis tool for real-time software specifications, SOFTWARE-PRACTICE & EXPERIENCE, , 28, 445-462 (1998)
FORM: A feature-oriented reuse method with domain-specific reference architectures, ANNALS OF SOFTWARE ENGINEERING, , 5, 143-168 (1998)
PARTS - A TEMPORAL LOGIC-BASED REAL-TIME SOFTWARE SPECIFICATION METHOD SUPPORTING MULTIPLE VIEWPOINTS, INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, , 5, 407-422 (1995)

국내전문학술지

Developing Reusable Components: An Approach with Feature Model and Problem Frames, 정보과학회논문지: 소프트웨어 및 응용, , 38, 124-133 (2011)
소프트웨어공학 원칙 적용을 통한 철강공정제어 PLC응용 SW의 설계방법 연구, 정보과학회논문지: 소프트웨어 및 응용, , 38, 188-197 (2011)
UML 2.0 프로파일링을 이용한 FORM 아키텍처 모델링, 정보과학회논문지: 소프트웨어 및 응용, , 36, 431-442 (2009)
기존 시스템 기반의 소프트웨어 제품라인 공학 기법: 케이블 셋톱박스 소프트웨어 사례, 정보과학회논문지: 소프트웨어 및 응용, , 36, 539-547 (2009)
프로덕트라인 엔지니어링에서 동적 재구성이 가능한 임베디드 시스템 개발을 위한 휘처 중심의 방법, 정보과학회지, , 24, 59-71 (2006)
제품라인 자산 개발을 위한 휘처 기반 레가시 시스템 재공학: 홈서비스 로봇 사례연구, 정보과학회지, , 24, 50-58 (2006)
프로덕트 라인 엔지니어링에서 동적 재구성이 가능한 임베디드 시스템 개발을 위한 휘처 중심의 방법, 정보처리학회지, , 13, 62-77 (2006)
프로덕트 라인 엔지니어링에서 동적 재구성이 가능한 임베디드 시스템 개발을 위한 휘처 중심의 방법, 정보과학회지, , 24, 59-71 (2006)
임베디드 시스템 개발 생산성 향상을 위한 소프트웨어 제품 라인 공학, 정보과학회지, , 22, 25-35 (2004)
프로덕트 라인 소프트웨어 개발 프로세스, 정보과학회지, , 20, 23-30 (2002)
소프트웨어 공학적 실시간 시스템 명세를 이용한 가상 환경 구축, 정보과학회지, , 15, 32-39 (1997)
ASADAL : A realtime system specification and analysis environment, 정보과학회지, , 14, 22-31 (1996)

일반학술지

소프트웨어 제품라인 아키텍처 모델에서의 가변성 표현방법 비교 연구, 소프트웨어공학소사이어티 논문지, , 24, 77-89 (2011)
AWT 기반 어플리케이션을 이클립스 플러그-인으로 리엔지니어링 할 때 재사용을 위해 고려할 사항들, 소프트웨어공학소사이어티 논문지, , 24, 67-75 (2011)
기존 코드의 제품라인 자산화를 위한 가변성 구현 방법 비교, 소프트웨어공학소사이어티 논문지, , 23, 99-112 (2010)
제품라인 적용을 위한 철강공정 제어 시스템의 리엔지니어링: 사례연구, 소프트웨어공학소사이어티 논문지, , 21, 47-62 (2008)
휘처 결합 단위의 활성화 규칙과 제품라인 행위 모델간의 일관성 검증, 소프트웨어공학회지, , 19, 3-22 (2006)
TRANSFERRING PRODUCT LINE ENGINEERING METHODS TO THE INDUSTRY, SEC JOURNAL, , , - (2006)
소프트웨어 제품 라인 공학을 적용한 공정 제어 시스템 개발 : 사례연구, 소프트웨어공학회지, , 18, 33-49 (2005)
유비쿼터스 컴퓨팅 환경의 제품 라인 컴포넌트 개발을 위한 휘처 바인딩 분석, 소프트웨어공학회지, , 18, 3-12 (2005)
Feature-Oriented Product Line Software Engineering: Principles and Guidelines, DOMAIN ORIENTED SYSTEMS DEVELOPMENT: PERSPECTIVES AND PRACTICES, , 0, 30-46 (2003)
USING A MARKETING AND PRODUCT PLAN AS A KEY DRIVER FOR PRODUCT LINE ASSET DEVELOPMENT, LECTURE NOTES IN COMPUTER SCIENCE, , 2379, 366-382 (2002)
소프트웨어 아키텍쳐 모델 기술 및 분석을 위한 메타 모델식 접근 방법, 소프트웨어공학회지, , 13, 49-60 (2000)
Prototype = Function + Behavior + Form, SOFTWARE ENGINEERING NOTES, , 23, 44-49 (1998)
휘처(FEATURE) 중심의 재사용 방법론, 소프트웨어공학회지, , 11, 22-37 (1998)
형태를 고려한 실시간 시스템 명세와 시뮬레이션, 소프트웨어공학회지, , 10, 3-20 (1997)

학술회의논문

소프트웨어 제품라인 역공학 지원도구, 제 15회 한국 소프트웨어공학 학술대회 논문집, 0, 0, - (2013)
A Design Feature-Based Approach to Deriving Program Code from Features: A Step towards Feature-Oriented Software Development, THE 7TH INTERNATIONAL WORKSHOP ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, 0, 0, - (2013)
기존에 제안된 휘처 관계 타입 분석 및 비교 연구, 제 38회 한국정보처리학회 추계학술발표대회 논문집, 0, 0, - (2012)
VULCAN: Architecture-Model-Based Workbench for Product Line Engineering, ., 0, 0, - (2012)
VULCAN: Architecture-Model-Based Software Development Workbench, ., 0, 0, - (2012)
추출식 소프트웨어 제품라인 공학을 위한 자산 컴포넌트 탐색 및 재공학 방법, 한국 소프트웨어공학 학술대회 논문지, 0, 0, - (2012)
Problem Frames-based Approach to Achieving Variable Quality Attributes in Software Product Line Engineering, ., 0, 0, - (2011)
소프트웨어 제품라인 아키텍처 모델에서의 가변성 표현 방법 비교 연구, ., 0, 0, - (2011)
AWT기반 어플리케이션을 이클립스 플러그-인으로 리엔지니어링 할 때 재사용을 위해 고려할 사항들, ., 0, 0, - (2011)
휘처기반의 국방 시뮬레이션 모델 재사용 방법, ., 0, 0, - (2011)
소프트웨어 타입별 코드 자동 생성기를 이용한 소프트웨어 제품라인 기반의 소프트웨어 개발 방법, 2011 한국 소프트웨어공학 학술대회 논문집, 0, 0, 259-266 (2011)
SW제품라인 기반의 융합SW개발 지원도구, 2011 한국 소프트웨어공학 학술대회 논문집, 0, 0, 281-288 (2011)
Mapping Features to Reusable Components: A Problem Frames-Based Approach, ., 0, 0, - (2010)
Usage Context as Key Driver for Feature Selection, ., 0, 0, - (2010)
Towards Scalable Conflict-Free Configuration of Features, ., 0, 0, - (2010)
소프트웨어 제품라인 공학의 추출식 접근법을 위한 워크벤치, 2010 한국 소프트웨어공학 학술대회 논문집, 0, 0, 177-184 (2010)
PLC 응용소프트웨어 재사용 및 유지보수성 향상을 위한 소프트웨어 공학 원칙 적용 사례연구, 2010 한국 소프트웨어공학 학술대회 논문집, 0, 0, 276-282 (2010)
Developing Reusable Components: An Approach with Feature Model and Problem Frames, 2010 한국 소프트웨어공학 학술대회 논문집, 0, 0, 102-109 (2010)
Experience Report on Using a Domain Model-Based Extractive Approach to Software Product Line Asset Development, ., 0, 0, - (2009)
Multiple Views of Feature Models to Manage Complexity, ., 0, 0, - (2009)
기존 시스템 기반의 소프트웨어 제품라인 공학 기법: 케이블 셋톱박스 소프트웨어 사례, 2009 한국 소프트웨어공학 학술대회 논문집, 0, 0, 99-100 (2009)
Feature Relation and Dependency Management: An Aspect-Oriented Approach, 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC2008), 0, 0, 3-11 (2008)
Mobile UI Model: 모바일 응용 SW 설계를 위한 모델, 2008 한국 소프트웨어공학 학술대회 논문집, 0, 0, 155-162 (2008)
UML2.0 프로파일링을 이용한 FORM 아키텍처 모델링, 2008 한국 소프트웨어공학 학술대회 논문집, 0, 0, 423-424- (2008)
모바일 응용 S/W 개발을 위한 화면 중심의 사용자 인터페이스 모델링 방법, 제28회 한국정보처리학회 추계발표대회, 0, 0, 307-310 (2007)
산업의 경쟁력 강화를 위한 소프트웨어공학의 역할, 정보과학회 소프트웨어공학회 창립 20주념 기념, 0, 0, - (2007)
소프트웨어 프로덕트라인공학에서의 컴포넌트 아키텍처 명세 방법, 2007 한국 소프트웨어공학기술 합동 워크샵 논문집, 0, 0, 22-41 (2007)
Software Product Line Engineering: Concepts, Practices, and Guidelines, SRA 40th Anniversary Seminar, 0, 0, - (2007)
IT 산업은 여전히 유효한 성장 동력인가?, IT21 Conference, 0, 0, - (2007)
Software Product LIne Research Topics, International Workshop on Future Software Technology (IWFST2007), 0, 0, - (2007)
Software Engineering for Maintainability and Reusability, Chinese Conference on Software Engineering, 0, 0, - (2007)
A Feature-Oriented Approach to Developing Dynamically Reconfigurable Products in Product Line Engineering, 10TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC2006), 0, 0, 131-140 (2006)
Combining Feature-Oriented Analysis and Aspect-Oriented Programming for Product Line Asset Development, 10TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC2006), 0, 0, - (2006)
ASADAL : A Tool System for Co-Development of Software and Test Environment Based on Product Line Engineering, 28th International Conference on Software Engineering (ICSE2006), 0, 0, 783-786 (2006)
ASADAL : A Tool System for Co-Development of Software and Test Environment Based on Product Line Engineering, 28th International Conference on Software Engineering (ICSE2006), 0, 0, 783-786 (2006)
휘처 결합 단위의 활성화 규칙과 제품라인 행위 모델 간의 일관성 검증, 2006 한국 소프트웨어공학 학술대회 논문집, 0, 0, - (2006)
휘처 결합 단위의 활성화 규칙과 제품라인 행위 모델 간의 일관성 검증, 한국 소프트웨어공학 학술대회(KCSE2006), 0, 0, - (2006)
Formal Construction and Verification of Home Service Robots: A Case Study, Automated Technology for Verification and Analysis (LNCS3707), 0, 0, 429-443 (2005)
Feature-Oriented Reengineering of Legacy Systems into Product Line Assets: A Case Study, 9th International Conference on Software Product Line Engineering, 0, 0, 45-56 (2005)
ASADAL/OBJ Hybrid: 고신뢰성 하이브리드 시스템 모델링을 위한 객체지향 프레임워크, 한국 컴퓨터 종합 학술대회 2005 논문집, 0, 0, 337-339 (2005)
Re-engineering Software Architecture of Home Service Robots: A Case Study, 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE2005), 0, 0, 505-513 (2005)
Re-engineering Software Architecture of Home Service Robots: A Case Study, International Conference on Software Engineering, 0, 0, 505-513 (2005)
3D Virtual Prototyping of Home Service Robots Using ASADAL/Obj, 2005 INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA2005), 0, 0, 2914-2919 (2005)
Formal Verification of the Robot Movements- a Case Study on Home Service Robot SHR100, 2005 International Conference on Robotics and Automation (ICRA2005), 0, 0, 4750-4755 (2005)
Formal Verification of the Robot Movements- a Case Study on Home Service Robot SHR100, 2005 International Conference on Robotics and Automation (ICRA2005), 0, 0, - (2005)
소프트웨어 제품 라인 공학을 적용한 공정 제어 시스템 개발 : 사례연구, 2005 한국 소프트웨어공학 학술대회 논문집, 0, 0, 295-306 (2005)
소프트웨어 제품 라인 공학을 적용한 공정 제어 시스템 개발 : 사례연구, 한국 소프트웨어공학 학술대회 논문집, 0, 0, 295-306 (2005)
사설 교환기 개발 경험에 근거한 휘처 상호 작용 문제의 유형 분류 및 이에 따른 컴포넌트 설계 지침, 제6회 한국 소프트웨어공학 학술대회 논문집, 0, 0, 223-236 (2004)
사설 교환기 개발 경험에 근거한 휘처 상호 작용 문제의 유형 분류 및 이에 따른 컴포넌트 설계 지침, 제 6회 한국 소프트웨어공학 학술대회(KCSE2004), 0, 0, 223-236 (2004)
Product Line Software Engineering: Concepts, Efforts, and Issues, Software Engineers Association, 0, 0, - (2004)
Evolution of Product Line Software Engineering Technologies, Software Symposium 2004, 0, 0, - (2004)
Feature Dependency Analysis for Product Line Component Design, Proceedings of the 8th International Conference Software Reuse (ICSR8), 0, 0, 69-85 (2004)
A Feature-Based Approach to Product Line Production Planning, Software Product Lines: Third International Conference (SPLC3), 0, 0, 183-196 (2004)
Trends of Software Reuse Technologies, ISFST 2004, 0, 0, - (2004)
전자 교환 시스템 개발 경험에 근거한 휘처 상호작용 문제를 분리하는 컴포넌트 설계 안내 지침, 한국 소프트웨어공학기술 합동 워크샵 2003 발표집, 0, 0, 136-145 (2003)
Feature Binding Issues in Variability Analysis for Product Line Engineering, International workshop on Modeling Variability for Object-Oriented Product Lines, 0, 0, - (2003)
휘처 모델과 프로덕트 라인 아키텍처 모델간의 일관성 검증, 제5회 한국 소프트웨어공학 학술대회 논문집, 0, 0, 279-292 (2003)
객체지향 프로그램으로부터 메타모델을 기반으로 한 확장된 시퀀스 다이어그램의 생성 방법, 제5회 한국 소프트웨어공학 학술대회 논문집, 0, 0, 143-152 (2003)
휘처 모델과 프로덕트 라인 아키텍처 모델간의 일관성 검증, 제5회 한국 소프트웨어공학 학술대회(KCSE2003), 0, 0, 279-292 (2003)
객체지향 프로그램으로부터 메타모델을 기반으로 한 확장된 시퀀스 다이어그램의 생성 방법, 제 5회 한국 소프트웨어공학 학술대회 논문집, 0, 0, 143-152 (2003)
전자 교환 시스템 개발 경험에 근거한 휘처 상호작용 문제를 분리하는 컴포넌트 설계 안내 지침, 한국 소프트웨어공학기술 합동 워크샵 2003 발표집(KSEJW 2003), 0, 0, 136-145 (2003)
Feature Binding Issues in Variability Analysis for Product Line Engineering, Workshop on Modeling Variability for Object-Oriented Product Lines at ECOOP 2003, 0, 0, 77-82 (2003)
Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems, 8TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC2011), 0, 0, 335-340 (2001)
Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems, 8th Asia-Pacific Software Engineering Conference, 0, 0, 335-340 (2001)
빠른 프로토타이핑을 위한 개발 환경, 제1회 정보가전과 실시간 시스템 응용 워크샵, 0, 0, 181-186 (2001)
빠른 프로토타이핑을 위한 개발 환경, 제1회 정보가전과 실시간 시스템 응용 워크샵, 0, 0, 181-186 (2001)
Verification of Consistency Between Functional View and Behavioral View Using the Symbolic Model-Checking Approach, 제3회 한국 소프트웨어 공학 학술대회 논문집, 0, 0, - (2001)
Verification of Consistency Between Functional View and Behavioral View Using the Symbolic Model-Checking Approach, 한국 소프트웨어 공학 합동 워크삽, 0, 0, - (2001)
Product Line Software Engineering : An Emerging Software Reuse Paradigm, 6th International Symposium on Future Software Technology (ISFST), 0, 0, - (2001)
Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems, 8th Asia-Pacific Software Engineering Conference (APSEC), 0, 0, 335-340 (2001)
Co-development of Real-Time Systems and Their Environments, PROCEEDINGS OF THE 7TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC2000), 0, 0, - (2000)
Co-development of Real-Time Systems and Their Environments, The 7th Asia-Pacific Software Engineering Conference (APSEC), 0, 0, - (2000)
A Real World Object Modeling Method for Creating Simulation Environment of Real-time Systems, The ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 0, 0, 93-103 (2000)
A Real World Object Modeling Method for Creating Simulation Environment of Real-time Systems, The ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 0, 0, 93-103 (2000)
Domain-Oriented Engineering of Elevator Control Software: A Product Line Practice, 1st Software Product Line Conference (SPLC), 0, 0, 3-22 (2000)
Co-development of Real-Time Systems and Their Environments, 7th Asia-Pacific Software Engineering Conference (APSEC), 0, 0, 8-15 (2000)
Domain-Oriented Engineering of Elevator Control Software: A Product Line Practice, 1st Software Product Line Conference (SPLC), 0, 0, 3-22 (2000)
Domain-Oriented Engineering of Elevator Control Software: A Product Line Practice, In Patrick Donohoe, editor, Software Product Lines: Experience and Research Directions, Kluwer Acad, 0, 0, - (2000)
Levels of Detail(LOD) Engineering of VR Objects, ACM Virtual Reality Systems and Technology Conference (VRST), 0, 0, - (1999)
A Feature-Oriented Engineering of PBX Software, 6TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC'99), 0, 0, 394-403 (1999)
A Feature-Oriented Engineering of PBX Software, APSEC(Asia-Pacific Software Engineering Conference)'99, 0, 0, 394-403 (1999)
Issues in Component-Based Software Engineering, 99 International Workshop on Component-Based Software Engineering, 21st ICSE, 0, 0, - (1999)
Issues in Component-Based Software Engineering, 99 International Workshop on Component-Based Software Engineering, 21st ICSE, 0, 0, - (1999)
Levels of Detail(LOD) Engineering of VR Objects, ACM Virtual Reality Systems and Technology Conference (VRST), 0, 0, - (1999)
Software Engineering of virtual worlds, Virtual Reality and Systems(VRST'98), 0, 0, - (1998)
Feature-Oriented Software Engineering for the Electronic Bulletin Board System Domain, 3RD WORLD CONFERENCE ON INTEGRATED DESIGN & PROCESS TECHNOLOGY(IDPT '98), 0, 0, - (1998)
Feature-Oriented Software Engineering for the Electronic Bulletin Board System Domain, The Third World Conference on Integrated Design & Process Technology(IDPT '98), 0, 0, - (1998)
Form, the Missing Piece in Effectual Real-Time System Specification and Simulation, 4TH INTERNATIONAL REALTIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM(RTAS '98)TECHNOLOGY AND APPLICATIONS SYMPOSIUM, 0, 0, - (1998)
Form, the Missing Piece in Effectual Real-Time System Specification and Simulation, Proceedings of the Fourth International Realtime Technology and Applications Symposium, 0, 0, - (1998)
Feature-Oriented Development of Applications for a Domain, 5TH INTERNATIONAL CONFERENCE ON SOFTWARE REUSE (ISCR5), 0, 0, 354-355 (1998)
Feature-Oriented Development of Applications for a Domain, Proceedings of the 5th International Conference on Software Reuse, 0, 0, 354-355 (1998)
Form, the missing piece in effective real-time system specification and simulation, IEEE Real-Time Technology & Application Symp.(RTAS '98), USA, 0, 0, - (1998)
Software Engineering of virtual worlds, Virtual Reality and Systems(VRST'98), 0, 0, - (1998)
International Collaboration in Information Industry, Software Symposium'97, 0, 0, - (1997)
개발방법론 실태와 활용기법, 정보시스템 개발방법론 및 자동화도구 세미나, 0, 0, - (1997)
ASADAL : A System Analysis and Design Tool, ACM'97, Expo, 0, 0, - (1997)
Feature-Oriented Reuse Method, Institute for systems and Information Technology(ISIT), 0, 0, - (1997)
Software Engineering: Science versus Management, Proceedings of the International Symposium on Science of Computing and Technology of Software, 0, 0, 53-58 (1996)
Software Engineering: Science versus Management, Proceedings of the International Symposium on Science of Computing and Technology of Software, 0, 0, 53-58 (1996)
Formalization and Verification of Safety Properties of Statechart Specifications, PROCEEDINGS OF THE 3ST ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC'96), 0, 0, 16-27 (1996)
Formalization and Verification of Safety Properties of Statechart Specifications, Proceedings of Asia-Pacific Software Engineering Conference, 0, 0, 16-27 (1996)
Software Economics and Reuse Infrastructure, PROCEEDINGS OF THE 3ST ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC'96), 0, 0, - (1996)
Software Economics and Reuse Infrastructure, Proceedings of Asia-Pacific Software Engineering Conference, 0, 0, - (1996)
ASADAL Specification and Analysis of Real-Time Systems, '96 Workshop on Information and Communication Systems Development Technology, 0, 0, 90-98 (1996)
ASADAL: A Real-Time Systems Specification and Analysis Environment, Korea Information Science Society Review, 0, 0, 22-31 (1996)
Tutorial on Specification and Analysis of Real-Time Systems, UNU/IIST와 공동 개최, 0, 0, - (1996)
Object-Orientation and Software Reuse, Proceedings of the Symposium on Industrial Survival Strategy for Next Generation Software Technology, 0, 0, - (1996)
Object-Orientation and Software Reuse, Proceedings of the Symposium on Industrial Survival Strategy for Next Generation Software Technology, 0, 0, - (1996)
Academia-Industry Collaboration in Information Technology, Opening Ceremony of the Institute of Systems and Information Technologies (ISIT)/KYUSHU, 0, 0, - (1996)
ASADAL/SIM : 실시간 시스템 시뮬레이션 모델링 방법, 한국시뮬레이션학회 1996년도 춘계학술대회논문집, 0, 0, - (1996)
Model-Based Software Engineering: A New Challenge, Proceedings of the International Symposium on Software Engineering for the Next Generation, 0, 0, 161-170 (1996)
Model-Based Software Engineering: A New Challenge, Proceedings of the International Symposium on Software Engineering for the Next Generation, 0, 0, 161-170 (1996)
ASADAL/SIM : 실시간 시스템 시뮬레이션 모델링 방법, 한국시뮬레이션학회 춘계학술대회, 0, 0, - (1996)
Model-based software engineering : A new challenge, Symp. on Software Eng. for the Next Generation, Japan, 0, 0, - (1996)
ASADAL : A Specification Method for Realtime Systems Behavior Analysis Through Specification Execution, International Workshop on Engineering of Highly Dependable Software, 0, 0, 103-138 (1995)
PARTS : A Temporal Logic-Based Real-time Software Specification and Verification Method, 17TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 0, 0, 169-176 (1995)
PARTS : A Temporal Logic-Based Real-time Software Specification and Verification Method, The 17th International Conference on Software Engineering, 0, 0, 169-176 (1995)
광양제철소 컴퓨터 시스템 리엔지니어링 프로세스모델, 한국정보과학회 1995년도 봄 학술발표논문집, 0, 0, - (1995)
광양제철소 컴퓨터 시스템 리엔지니어링 프로세스모델, 정보과학회 춘계학술발표 논문집, 0, 0, - (1995)
다수의 영역 모델들에 기반한 시스템 개발에서 설계 결정의 수행양상, 정보과학회 춘계학술대회 논문집, 0, 0, - (1995)
다수의 영역 모델들에 기반한 시스템 개발에서 설계 결정의 수행양상, 한국정보과학회 1995년도 봄 학술발표논문집, 0, 0, - (1995)
PARTS : A temporal logic-based real-time software system specification and verification method, Int'l Conf. on Software Engineering, USA, 0, 0, 169-176 (1995)
SimDr : A Simulator for Performance Modeling of Distributed Real-time Systems, 1ST INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, 0, 0, - (1994)
SimDr : A Simulator for Performance Modeling of Distributed Real-time Systems, First International Workshop on Real-Time Computing Systems and Applications, 0, 0, - (1994)
A Model-Based MICOM Application Software Development Method, PROCEEDINGS OF THE 1ST ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC'94), 0, 0, 124-132 (1994)
A Model-Based MICOM Application Software Development Method, The 1st Asia-Pacific Software Engineering Conference, 0, 0, 124-132 (1994)
An object-based function analysis(OBFA) method using an extended entity-relationship model, PROCEEDINGS OF THE 1ST ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC'94), 0, 0, - (1994)
PARTS : A Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints, PROCEEDINGS OF THE 1ST ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC'94), 0, 0, 328-335 (1994)
PARTS : A Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints, The 1st Asia-Pacific Software Engineering Conference, 0, 0, 328-335 (1994)
Issues in Domain Engineering, The Kunming International CASE Symposium '94, 0, 0, - (1994)
Issues in Domain Engineering, The Kunming International CASE Symposium '94, 0, 0, - (1994)
Future of Software Reuse in Korea, THE 3RD INTERNATIONAL CONFERENCE ON SOFTWARE REUSABILTY, 0, 0, 223-224 (1994)
Future of Software Reuse in Korea, Proceedings of the Third International Conference on Software Reusability, 0, 0, 223-224 (1994)
메두사 : 일반화된 멀티미디어 자료처리 시스템, 한국정보과학회 1994년도 가을 학술발표논문집, 0, 0, - (1994)
메두사 : 일반화된 멀티미디어 자료처리 시스템, 한국정보과학회 학술대회, 0, 0, - (1994)
PARTS : 다시각적 분석을 제공하는 시제논리 기반의 실시간 소프트웨어 시스템 명세 방법, 한국정보과학회 1994년도 가을 학술발표논문집, 0, 0, - (1994)
Statechart의 실시간 성질의 정형적인 명세와 증명 방법, 한국정보과학회 1994년도 가을 학술발표논문집, 0, 0, - (1994)
MICOM 응용 소프트웨어를 위한 객체에 기반한 구조적 분석, 한국정보과학회 1994년도 봄 학술발표논문집, 0, 0, - (1994)
MICOM 응용 소프트웨어를 위한 객체에 기반한 구조적 분석, 한국정보과학회 학술발표논문집, 0, 0, - (1994)
PARTS : 실시간 소프트웨어 시스템의 다시각적 분석 방법, 한국정보과학회 학술대회, 0, 0, 685-688 (1994)
기능, 데이터, 인터페이스를 이용한 객체인식 방법, 제1회 한국정보처리학회 춘계학술발표대회, 0, 0, 175-178 (1994)
기능, 데이터, 인터페이스를 이용한 객체인식 방법, 한국정보처리응용학회 학술대회, 0, 0, 175-178 (1994)
업무영역 작업분석에 의한 신속한 프로토 타이핑 방법, 제1회 한국정보처리학회 춘계학술발표대회, 0, 0, 199-202 (1994)
업무영역 작업분석에 의한 신속한 프로토 타이핑 방법, 한국정보처리응용학회 학술대회, 0, 0, 199-202 (1994)
An object-based function analysis(OBFA) method using an extended entity-relationship model, Asia-Pacific Software Engineering Conf., Japan, 0, 0, - (1994)
Issues in domain orientation, Proc. of the 4th Kumming Int'l CASE Symp., 0, 0, - (1994)
PARTS : 다시각적 분석을 제공하는 시제논리 기반의 실시간 소프트웨어 시스템 명세 방법, 한국정보과학회 학술발표논문집, 0, 0, - (1994)
PARTS : A temporal logic-based real-time software system specification method supporting multiple viewpoints, Asia-Pacific Software Engineering Conf., Japan, 0, 0, - (1994)
Statechart의 실시간 성질의 정형적인 명세와 증명 방법, 한국정보과학회 학술발표논문집, 0, 0, - (1994)
Feature-Oriented Domain Analysis for Software Reuse, Proceedings of Joint Conference on Software Engineering, 0, 0, 389-395 (1993)
Feature-Oriented Domain Analysis for Software Reuse, Proceedings of Joint Conference on Software Engineering, 0, 0, 389-395 (1993)
FODA : Feature-Oriented Domain Analysis, Proceedings of Joint Conference on Software Engineering, 0, 0, - (1993)
A Software Environment To Support The CCITT Development Methodology, 3rd CHILL Conference, 0, 0, - (1984)
Feature Relation and Dependency Management: An Aspect-Oriented Approach, 12th International Software Product Line Conference, 0, 0, 3~11- (0000)
Mobile UI Model: 모바일 응용 SW 설계를 위한 모델, 2008 한국 소프트웨어공학 학술대회 논문집, 0, 0, 155~162- (0000)
UML2.0 프로파일링을 이용한 FORM 아키텍처 모델링, 2008 한국 소프트웨어공학 학술대회 논문집, 0, 0, 423-424- (0000)
Feature Binding Issues in Variability Analysis for Product Line Engineering, International workshop on Modeling Variability for Object-Oriented Product Lines, 0, 0, - (0000)
전자 교환 시스템 개발 경험에 근거한 휘처 상호작용 문제를 분리하는 컴포넌트 설계 안내 지침, 한국 소프트웨어공학기술 합동 워크샵 2003 (KSEJW 2003), 0, 0, - (0000)
Feature Binding Analysis for Product Line Component Development, Proceedings of the Fifth International Workshop on Product Family Engineering (PFE-5), 0, 0, - (0000)
Re-engineering a Credit Card Authorization System for Maintainability and Reusability of Components - a Case Study, LNCS/9th International Conference on Software Reuse, 0, 0, 156-169 (0000)
A Feature-Oriented Approach to Developing Dynamically Reconfigurable Products in Product Line Engineering, IEEE Computer Society/10th International Software Product Line Conference, 0, 0, 131-140 (0000)
휘처 결합 단위의 활성화 규칙과 제품라인 행위 모델 간의 일관성 검증, 한국정보과학회 소프트웨어공학 학술대회, 0, 0, 188-199 (0000)
소프트웨어 프로덕트라인공학에서의 컴포넌트 아키텍처 명세 방법, 한국정보과학회 소프트웨어공학기술 학술발표대회, 0, 0, 22-41 (0000)
모바일 어프리케이션 영역의 클라이언트 개발에 적용 가능한 소프트웨어 아키텍처 패턴 설계, 2007 한국정보과학회 학술발표대회, 0, 0, 114-119 (0000)

학회발표

VULCAN: A Workbench for Feature-Oriented Product Line Software Development", ., 0, 0, - (2012)
An Environment for Simulating and Verifying Embedded Real-Time Application, ., 0, 0, - (2011)
소프트웨어의 생산성 및 품질을 획기적으로 향상시킬 수 있는 제품계열 기반의 개발 방법론, ., 0, 0, - (2010)
국방 임베디드SW의 재사용에 의한 생산성 향상, ., 0, 0, - (2010)
Coverage and Conformance Metrics - Evaluation of Legacy Software for Software Product Line Asset Development, ., 0, 0, - (2010)
기존 코드의 제품라인 자산화를 위한 가변성 구현 방법 비교, ., 0, 0, - (2010)
참조휘처모델을 이용한 휘처모델링 방법 연구, ., 0, 0, - (2010)
소프트웨어 제품라인공학에서 휘처모델 통합방법, ., 0, 0, - (2009)
Software Product Line Research Topics, International Workshop on Future Software Technology (IWFST2007), 0, 0, - (2007)
Formal Verification of the Robot Movements- a Case Study on Home Service Robot SHR100, 2005 International Conference on Robotics and Automation (ICRA2005), 0, 0, 4750-4755 (2005)
Product Line Engineering for Embedded Systems, First Joint Workshop on Embedded Software Development, 0, 0, - (2003)
Product Line Software Engineering, 제3회 국방 정보화기술 심포지움, 0, 0, - (2002)
Product Line Software Engineering: An Emerging Reuse Paradigm, Pan-Yellow-Sea International Workshop on Information Technologies for the Network Era, 0, 0, - (2002)
Software Reusability, Ada Expo'88, 0, 0, - (1998)
If Software Reuse Can Lead IT, How?, Asia-Pacific Software Engineering Conference, 0, 0, - (1996)
System Integration in the Netwrok Environment, International Symposium on Future Software Technology, 0, 0, - (1996)
Software Technologies in the 21st Centry, Changsha International CASE Symposium, 0, 0, - (1995)
How to Define and Utilize Domain Engineering, The Kunming International CASE Symposium, 0, 0, - (1994)
How to Define and Utilize Domain Engineering, The Kunming International CASE Symposium, 0, 0, - (1994)
Software Reuse in Asia, The 3rd International Conference on Software Reusabilty, 0, 0, - (1994)
Software Reuse in Asia, The 3rd International Conference on Software Reusabilty, 0, 0, - (1994)
The Future of Systematic Software Reuse, The 3rd International Conference on Software Reusability, 0, 0, - (1994)
Information Technology 2000: National Programs for Infrastructure and Competitiveness, The 5th International Conrference on Software Engineering and Knowledge Engineering, 0, 0, - (1993)
Information Technology 2000: National Programs for Infrastructure and Competitiveness, The 5th International Conrference on Software Engineering and Knowledge Engineering, 0, 0, - (1993)
Software Reusability, Ada Expo'88, 0, 0, - (0000)
Introduction to Software Product Line Engineering, Keynote Speech, 한국 소프트웨어 공합 합동 워크샵, 0, 0, - (0000)
Product Line Software Engineering, Invited speech, Software Engineering Association of Japan, 0, 0, - (0000)
Software Product Line Engineering, Keynote speech, 제2회 Software Engineering Evangelists for Korea (SEEK) 워크샵, 0, 0, - (0000)
Product Line Software Engineering: An Emerging Software Reuse Paradigm, Keynote speech, 6th International Symposium on Future Software Technology, 0, 0, - (0000)
Product LIne Software Engineering: An Emerging Reuse Paradigm, Pan-Yellow-Sea International Workshop on Information Technologies for the Network Era, 0, 0, - (0000)
Feature-Oriented Product Line Engineering (Tutorial), 제4회 한국 소프트웨어 공학 학술대회, 0, 0, - (0000)
Concepts and Guidelines of Feature Modeling for Product Line Software Engineering, Seventh International Conference on Software reuse, 0, 0, - (0000)
소프트웨어 재사용을 위한 Business Domain Architecture 개발의 필요성 (Invited Talk), 한국 SI 학회 창립기념 학술대회, 0, 0, - (0000)
Using a Marketing and Product Plan as the Key Design Driver for Product Line Asset Development, Software Product Line Conference (SPLC2), 0, 0, - (0000)
Feature-Oriented Product Line Engineering with Market Analysis (Invited Talk), 소프트웨어공학연구회 워크숍, 0, 0, - (0000)
A Feature-Oriented Method for Product Line Software Engineering (Invited Talk), Internation Symposium on Future Software Technology, 0, 0, - (0000)
Product Line Software Engineering, 제3회 국방 정보화기술 심포지움, 0, 0, - (0000)
Feature-Oriented Product Line Software Engineering with Market Analysis (Invited Talk), Special Seminar for Software Engineers Association, Japan, 0, 0, - (0000)
Software Engineering for Soft Software, (Keynote Speech) Japan Society for Software Science and Technology, 0, 0, - (0000)
Product Line Engineering for Embedded Systems, First Joint Workshop on Embedded Software Development, 0, 0, - (0000)
Feature-Oriented Product Line Software Engineering, (Invited Talk) The 1st CLUSS International Workshop on Next Generation Embedded Software, 0, 0, - (0000)
Re-engineering Software Architecture of Home Service Robots: Principles and Lessons Learned, Workshop on Software Product Line Technologies, 0, 0, - (0000)

단행본

Applied Software Product Line Engineering, Auerbach Publications, , 강교철 (2009)
Domain Oriented Systems Development: Practices and Perspectives, Taylor & Francis, , (2003)
Software Product Lines: Experience and Research Directions, Kluwer Academic Publishers, , (2000)
The Economics of Information Systems and Software, Butterworth-Heinemann, , (1991)

연구실적

산전 소프트웨어 개발 환경 구축을 위한 CASE 도구의 안정화, LS산전 (2001-2001)
실시간시스템의 CASE 도구 상품화, 한양대학교 (2001-2002)
진화지향적 실시간 시스템 명세기법, 한양대학교 (1999-2001)
공동연구개발 (SRA KEY TECHNOLOGY LABORATORY, INC), 포항공과대학교 (2003-2003)
포항제철 P/C(PROCESS COMPUTER)분야의 아키텍쳐 설계 기술, 포스코홀딩스(주) (2000-2001)
포항제철 P/C분야의 아키텍쳐 설계 기술 (2), 포스코홀딩스(주) (2001-2003)
멀티미디어 소프트웨어 제품 라인 개발, 에스케이텔레콤(주) (2004-2004)
철강분야의 컴포넌트 개발지원독 개발, 유징테크(주) (2003-2004)
철강분야의 컴포넌트 개발지원도구 개발, (재)한국산업기술재단 (2004-2005)
소프트웨어 명세의 정형화 방법 개발, 한국과학재단 (2003-2004)
소프트웨어 명세의 정형화 방법 개발, 한국과학재단 (2004-2005)
소프트웨어 명세의 정형화 방법 개발, 포항공과대학교 (2004-2005)
소프트웨어 명세의 정형화 방법 개발, 포항공과대학교 (2005-2006)
소프트웨어 명세의 정형화 방법 개발, 포항공과대학교 (2006-2006)
컴퓨터 공학과 실험실 운영 및 관리비용, 포항공과대학교 (2004-2005)
컴퓨터공학과 실험실 운영 및 관리, 포항공과대학교 (2005-2006)
컴퓨터 공학과 실험실 운영 및 관리, 포항공과대학교 (2006-2006)
양기관 협력 방안에 관한 연구, 포항공과대학교 (2003-2004)
PRODUCT LINE SOFTWARE ENGINEERING ENVIRONMENT DEVE, 포항공과대학교 (2004-2006)
LG카드 승인시스템 컴포넌트 재사용성 평가 및 개선모델 산학연구, 엘지카드(주) (2005-2005)
홈 로봇의 소프트웨어 아키텍쳐 개발에 관한 연구, 삼성전자(주) (2004-2004)
압연공정 WORK FLOW기반 재사용 컴포넌트 개발에 대한 연구, 포스코홀딩스(주) (2003-2005)
CBD 개념을 이용한 공정제어용 소프트웨어 개발 방안 연구, 포스코홀딩스(주) (2003-2005)
개인장비 운영경비 적립액, 포항공과대학교 (2003-2017)
컴퓨터 공학과 실험실 운영 및 관리, 포항공과대학교 (2006-2007)
컴퓨터 공학과 실험실 운영 및 관리, 포항공과대학교 (2006-2007)
인건비풀링과제, 포항공과대학교 (2006-2015)
연구개발과제, 포항공과대학교 (2006-2016)
I-ASSETS CASE TOOL DEVELOPMENT, 포항공과대학교 (2005-2007)
정보통신연구소 자체학술연구비, 포항공과대학교 (2006-2007)
I-ASSETS CONFIGURATION MANAGEMENT TOOL DEVELOPMENT, 기타기관 (2006-2008)
PLC 기반의 S/W PLATFORM 개발 방법론 적용, 삼성전자(주) (2006-2007)
(전사) APP. FRAMEWORK 지원 설계 자동화/TOOL 개발, 포스코홀딩스(주) (2007-2007)
철강분야의 컴포넌트 개발지원도구 개발, (재)한국산업기술재단 (2005-2006)
통합 정보 처리 시스템 연구, ㈜콘트론 (2006-2008)
다중 플랫폼 지원 모바일 응용 S/W 개발환경 기술 개발, 정보통신연구진흥원 (2007-2008)
2007년 포항시 창업보육센터 운영비보조금, 포항시청 (2007-2007)
커넥트 코리아 사업, 한국학술진흥재단 (2007-2008)
제품라인 공학에서 동적 재구성이 가능한 제품을 개발하기 위한 휘처 중심의 방법, 포항공과대학교 산학협력단 (2007-2007)
07년 창업보육센터 중기청 운영비, 대구.경북지방중소기업청 (2007-2008)
I-ASSETS MODEL-BASED VARIATION ANALYSIS TOOL DEVELOPMENT, 기타기관 (2007-2008)
산학협력중심대학육성사업 기업지원체제개편(산학협력팀), 산업자원부 (2007-2008)
4.753 이월과제(산학협력팀), 산업자원부 (2007-2008)
산학협력중심대학육성사업 기업지원체제개편사업 교비대응(산학협력팀), 포항공과대학교 (2007-2008)
산학협력중심대학육성사업 기업지원체제개편 지자체대응(산학협력팀), 포항시청 (2007-2008)
산학협력중심대학육성사업 기업지원체제개편사업 교비대응 이월, 포항공과대학교 (2007-2008)
산학협력중심대학육성사업 4차년도 이자수입과제, 포항시청 (2007-2008)
지식재산권출원등록비(지경부), 포항공대산학협력단 (2007-2012)
산학협력중심대학육성사업 기술융합화 사업, 주식회사 아스텍 (2007-2008)
(양소) 시스템 FRAMEWORK 지원 자동화 도구 개발 및 연주 자산 개선, 포스코홀딩스(주) (2008-2008)
대학선도TLO 기술이전 유공자 해외여비 지원, (재)한국학술진흥재단 (2008-2008)
산학협력중심대학육성사업 기술융합화 사업, 주식회사 아스텍 (2007-2008)
커넥트코리아사업, 한국학술진흥재단 (2008-2009)
동기화 언어를 이용한 휘처 중심의 반응형 실시간 시스템 아키텍처 설계방법, 포항공과대학교 산학협력단 (2008-2008)
다중 플랫폼 지원 모바일 응용 S/W 개발환경 기술 개발, 정보통신연구진흥원 (2008-2009)
HW-SW동시공학 기법의 SW융합 산업제품 개발적용 연구, 한국소프트웨어진흥원 (2008-2008)
(양소) PLC 응용 소프트웨어 재사용 방법론 및 지원도구 기초 설계, 포스코홀딩스(주) (2008-2009)
연주공정 APP. S/W 자동화 및 미들웨어 활용 기술 개발 (1-1), 포스코신기술연구조합 (2009-2010)
메타모델 기반의 커넥터 명세기법 개발, 포항공과대학교 산학협력단 (2008-2009)
애자일 SW 개발 프로세스 관리기술, 포항공대산학협력단 (2009-2009)
커넥트코리아사업, 한국학술진흥재단 (2009-2010)
애자일 SW 개발 프로세스 관리기술, 포항공대산학협력단 (2009-2010)
GEF-ZEST기반의 향상된 소스코드 리엔지니어링 결과 분석 뷰어 개발, 포항공과대학교 산학협력단 (2009-2010)
제품라인에 기반한 융합소프트웨어 개발 플랫폼 연구, 한국소프트웨어진흥원 (2009-2009)
SW공학 요소기술개발과 전문인력양성사업 대응자금, 포항공과대학교 (2009-2009)
WCU 정보전자융합공학부 이자과제, 재단법인한국연구재단 (2009-2013)
이클립스 기반의 제품라인 방법의 선행적 접근을 위한 MPP 편집기 개발, 포항공대산학협력단 (2009-2010)
제품라인 공학을 통한 전투체계 소프트웨어 표준화 기법연구, 한화시스템(주) (2010-2010)
(학생)인건비풀링과제, 포항공대산학협력단 (2009-2020)
제품라인에 기반한 융합소프트웨어 개발 플랫폼 연구, 정보통신산업진흥원 부설 SW공학센터 (2010-2010)
고성능/고신뢰성의 메모리 SW 가변성 구현을 위한 FEATURE 기반의 CODE CONFIGURATION 방법 연구, 삼성전자(주) (2010-2011)
도메인 분석 및 컴포넌트 정의/명세 구조 연구, 리얼타임비쥬얼(주) (2010-2010)
철강산업 가상공장 실현을 위한 개방형 플랫폼 PROTOTYPE개발, 포스코신기술연구조합 (2010-2011)
X3D과 VULCAN을 이용한 상호작용적인 소프트웨어 개발 방법 연구, 포항공대산학협력단 (2010-2011)
제품라인에 기반한 융합소프트웨어 개발 플랫폼 연구, 정보통신산업진흥원 부설 SW공학센터 (2011-2011)
도메인 분석 및 컴포넌트 정의/명세 구조 연구, 리얼타임비쥬얼(주) (2011-2011)
(포항) 열연 정정공정 APP. S/W 자동화 개발(1-1), 포스코신기술연구조합 (2011-2011)
제품라인 기반으로 개발된 시스템에서의 휘처모델 추출 방법 및 일관성 검사 방법, 포항공대산학협력단 (2011-2011)
철강공정 가상공장 구현을 위한 플랫폼 개발(2-1), 포스코신기술연구조합 (2011-2012)
휘처모델의 휘처 속성들 사이의 의존성 관계 연구, 포항공대산학협력단 (2011-2012)
메모리 SW에 구현된 FEATURE 기반 가변성을 체계적으로 관리하기 위한 FEATURE MODEL 추출 및 관리 방법 연구, 삼성전자(주) (2011-2012)
WCU 4차 정보전자융합/간접경비, 포항공대산학협력단 (2011-2013)
기술료 연구개발재투자과제, [산단]산학수익 (2012-2012)
도메인 분석 및 컴포넌트 정의/명세 구조 연구, 리얼타임비쥬얼(주) (2012-2012)
제품라인에 기반한 융합소프트웨어 개발 플랫폼 연구, 정보통신산업진흥원 부설 SW공학센터 (2012-2012)
BC-PC 통합 S/W 자동화 TOOL 개발, 포스코홀딩스(주) (2012-2013)
휘처기반 요구사항 문서작성 지원도구 개발, 포항공대산학협력단 (2012-2013)
脫통신 융합분야 미래 신규 BM 발굴, 주식회사케이티R&D부문 (2012-2013)
메모리 SW에 구현된 FEATURE 기반 가변성을 체계적으로 관리하기 위한 FEATURE MODEL 기반 관리 방법 연구, 삼성전자(주) (2012-2013)
유비쿼터스 오토노믹 시스템을 위한 IT 융합 연구(5차년도), 재단법인한국연구재단 (2012-2013)
4.7271_WCU 4차년도 정보전자 이월과제, 재단법인한국연구재단 (2012-2013)
WCU 5차 정보전자융합/간접경비, 포항공대산학협력단 (2012-2013)
철강공정가상공장 구현을 위한 플랫폼 개발(2-2), 포스코신기술연구조합 (2012-2014)
웹기반의 휘처모델 뷰어 개발, 포항공대산학협력단 (2012-2014)
차량 안전보조시스템을 위한 실시간 정보 융합/제어 SW통합 플랫폼 개발, (재)포항테크노파크 (2012-2013)
ICT 분야 미래 핵심 기술 개발, 주식회사 케이티 (2013-2013)

IP

강교철, POSTECH(14,16,18,25), -, 55-2009-0000002 (TM20)
강교철, POSTECH(14,16,18,25), -, 55-2009-0000002 (TM20)
강교철, POSTECH(제14,16,18,25류), -, 55-2008-0000046 (TM20)
강교철, 포항대학교, -, 42-2007-0000425 (TM20)
강교철, 포항대학, -, 42-2007-0000424 (TM20)
강교철, 포스텍 엠블런, -, 42-2007-0000423 (TM20)
강교철, POSTECH, -, 42-2007-0000422 (TM20)
강교철, POSTECH, -, 42-2007-0000422 (TM20)
강교철, 포스텍 엠블런, -, 42-2007-0000423 (TM20)
강교철, 포항대학, -, 42-2007-0000424 (TM20)
강교철, 포항대학교, -, 42-2007-0000425 (TM20)
강교철, POSTECH(제14,16,18,25류), -, 55-2008-0000046 (TM20)
배성진,강교철, 제품라인 워크플로우 행위모델기반 제어 컴포넌트 개발지원도구, 한국, C-2012-019049 (PR20)
배성진,강교철, 컴포넌트 통신 자바 라이브러리, 한국, C-2012-019047 (PR20)
배성진,강교철, 스타유엠엘 데이타 처리 자바 라이브러리, 한국, C-2012-019050 (PR20)
배성진,강교철, 휘처 어트리뷰트 규칙 검증기, 한국, C-2012-019048 (PR20)
강교철,배성진, 결정테이블 셍성기, 한국, C-2012-017079 (PR20)
김세훈,양진석,강교철, 제품라인공학 지원을 위한 UML 모델의 가변성 추적 지원도구, 한국, 2011-01-174-007 (PR20)
남혜지,강교철, FODA 기반의 휘처모델로부터 선택된 휘처 목록을 입력으로 받아들여 제품 라인 Stetechart를 제품 Statechart로 Prameterization하는 StarUML Add-in, 한국, 2011-01-174-008 (PR20)
양진석,강교철, 제품라인 공학 지원을 위한 노드(Node) 구성 편집 도구, 한국, 2011-01-174-007 (PR20)
양진석,강교철, 제품라인공학 지원을 위한 컴포넌트 입/출력 테이블 편집도구, 한국, 2011-01-174-007 (PR20)
양진석,강교철, StarUML기반의 아키텍처로 부터 아키텍처 컨피규레이션 정보를 자동으로 추출하는 프로그램, 한국, C-2012-000228 (PR20)
양진석,윤창훈,강교철, 제품라인 공학을 지원하는 이클립스 플랫폼 기반의 제품용 Java 프로젝트 및 프로세스 컴포넌트 자동 생성기, 한국, C-2012-000229-2 (PR20)
손동렬,강교철, VULCAN : FORM-UML Add-in, 한국, 2011-01-174-007 (PR20)
손동렬,윤창훈,강교철, VULCAN : Statechart Convertor, 한국, 2011-01-174-007 (PR20)
강교철,조성배, 자바 프로그램의 의존성 추출 프로그램, 한국, 2011-01-174-007 (PR20)
강교철,조성배, 클래스 다이어그램 간 가변성 분석 프로그램, 한국, 2011-01-174-007 (PR20)
강교철,양진석,윤창훈,손동렬, VULCAN : Domain Analyzer, 한국, 2011-01-174-004 (PR20)
강교철, Feature-oriented Reuse Method CASE 도구, 한국, 2002-01-15-698 (PR19)
강교철, 실시간 내장형 제어 시스템의 생산성 향상 및 신뢰성 확보를 위한 개발 방법론 및 지원 도구, 한국, 2000-01-23-2049 (PR19)
강교철,이혜선, 휘처 모델을 비교하는 방법 및 이를 위한 장치, 한국, 10-2012-0140822 (2012)
강교철,이혜선, 휘처 모델을 비교하는 방법 및 이를 위한 장치, 한국, 10-2012-0140822 (2012)
강교철,배성진, 소프트웨어 개발을 위한 워크벤치 구성 방법 및 이를 이용한 장치, 한국, 10-2012-0136948 (2012)
강교철,배성진, 소프트웨어 개발을 위한 워크벤치 구성 방법 및 이를 이용한 장치, 한국, 10-2012-0136948 (2012)
강교철,배성진, 소프트웨어 재공학 방법 및 장치, 한국, 10-2012-0136669 (2012)
강교철,배성진, 소프트웨어 재공학 방법 및 장치, 한국, 10-2012-0136669 (2012)
강교철,양진석, 철강산업용 가상설비 시스템 및 그의 구동 방법, 한국, 10-2010-0133445 (2012)
강교철,양진석,이혜선, 소프트웨어 개발 방법 및 이를 위한 장치, 중국, 201180005280.X (2012)
강교철,양진석,이혜선, 소프트웨어 개발 방법 및 이를 위한 장치, 일본, 2012-0544410 (2012)
강교철,양진석,이혜선, 소프트웨어 개발 방법 및 이를 위한 장치, 일본, 2012-0544410 (2012)
강교철,양진석,이혜선, 소프트웨어 개발 방법 및 이를 위한 장치, 영국, 1209661.6 (2012)
강교철,양진석,이혜선, 소프트웨어 개발 방법 및 이를 위한 장치, USA, 13/502,480 (2012)
강교철,양진석,이혜선, 소프트웨어 개발 방법 및 이를 위한 장치, USA, 13/502,480 (2012)
강교철,양진석,이혜선, 소프트웨어 개발 방법 및 이를 위한 장치, 독일, 112011100069.3 (2012)
강교철,남혜지, 결정 구조 기반 컨트롤 컴포넌트 개발 방법 및 장치, 한국, 10-2011-0121715 (2011)
강교철,남혜지, 결정 구조 기반 컨트롤 컴포넌트 개발 방법 및 장치, 한국, 10-2011-0121715 (2011)
강교철,양진석, 애플리케이션 개발 방법 및 이를 위한 장치, 한국, 10-2011-0135244 (2011)
강교철,양진석, 애플리케이션 개발 방법 및 이를 위한 장치, 한국, 10-2011-0135244 (2011)
강교철,남혜지, 어플리케이션 환경구성 시스템, 한국, 10-2011-0120687 (2011)
강교철,남혜지, 어플리케이션 환경구성 시스템, 한국, 10-2011-0120687 (2011)
강교철,양진석,박기웅,박영복, 공유메모리 기반의 응용 소프트웨어 개발 시스템, 한국, 10-2012-0004338 (2011)
강교철,양진석,박기웅,박영복, 공유메모리 기반의 응용 소프트웨어 개발 시스템, 한국, 10-2012-0004338 (2011)
강교철,이관우,이혜선, 모델의 가변성 검증 방법 및 이를 위한 장치, 한국, 10-2011-0120136 (2011)
강교철,이관우,이혜선, 모델의 가변성 검증 방법 및 이를 위한 장치, 한국, 10-2011-0120136 (2011)
강교철,LeDuc Minh,이혜선, 기 개발된 시스템의 소스코드를 기반으로 휘처모델을 생성하는 방법과 그 장치, 한국, 10-2011-0117645 (2011)
강교철,LeDuc Minh,이혜선, 기 개발된 시스템의 소스코드를 기반으로 휘처모델을 생성하는 방법과 그 장치, 한국, 10-2011-0117645 (2011)
강교철,남혜지, 소프트웨어 컴포넌트 합성 시스템, 한국, 10-2011-0117636 (2011)
강교철,남혜지, 소프트웨어 컴포넌트 합성 시스템, 한국, 10-2011-0117636 (2011)
강교철,양진석,이혜선, 소프트웨어 개발 방법 및 이를 위한 장치, -, PCT/KR2011/0077 (2011)
강교철,양진석,이혜선, 소프트웨어 개발 방법 및 이를 위한 장치, PCT, PCT/KR2011/0077 (2011)
강교철,양진석,양태호,이상석,김용수, 가상 공장용 데이터 모델 생성 방법 및 가상 공장용 데이터 모델 미들웨어 시스템, 한국, 10-2010-0137334 (2010)
강교철,양진석,양태호,이상석,김용수, 가상 공장용 데이터 모델 생성 방법 및 가상 공장용 데이터 모델 미들웨어 시스템, 한국, 10-2010-0137334 (2010)
강교철,이혜선,양진석, 소프트웨어 개발 방법 및 이를 위한 장치, 한국, 10-2010-0115218 (2010)
강교철,이혜선,양진석, 소프트웨어 개발 방법 및 이를 위한 장치, 한국, 10-2010-0115218 (2010)
강교철,양진석,최윤석,맹주원, 동시 편집을 지원하는 다중 플랫폼 기반 사용자 인터페이스 화면 편집 방법 및 장치, 일본, 2010-543036 (2010)
강교철,양진석,최윤석,맹주원, 동시 편집을 지원하는 다중 플랫폼 기반 사용자 인터페이스 화면 편집 방법 및 장치, 일본, 추후통보 (2010)
강교철,양진석,최윤석,맹주원, 동시 편집을 지원하는 다중 플랫폼 기반 사용자 인터페이스 화면 편집 방법 및 장치, 일본, 2010-543036 (2010)
강교철,양진석,최윤석,맹주원, 다양한 플랫폼에 적용 가능한 사용자 인터페이스 모델 생성 방법 및 장치, 일본, 2010-543035 (2010)
강교철,양진석,최윤석,맹주원, 다양한 플랫폼에 적용 가능한 사용자 인터페이스 모델 생성 방법 및 장치, 일본, 추후통보 (2010)
강교철,양진석,최윤석,맹주원, 다양한 플랫폼에 적용 가능한 사용자 인터페이스 모델 생성 방법 및 장치, 일본, 2010-543035 (2010)
강교철,양진석,최윤석,맹주원, 동시 편집을 지원하는 다중 플랫폼 기반 사용자 인터페이스 화면 편집 방법 및 장치, -, PCT/KR2008/0002 (2008)
강교철,양진석,최윤석,맹주원, 동시 편집을 지원하는 다중 플랫폼 기반 사용자 인터페이스 화면 편집 방법 및 장치, PCT, PCT/KR2008/0002 (2008)
강교철,양진석,최윤석,맹주원, 다양한 플랫폼에 적용 가능한 사용자 인터페이스 모델 생성 방법 및 장치, -, PCT/KR2008/0002 (2008)
강교철,양진석,최윤석,맹주원, 다양한 플랫폼에 적용 가능한 사용자 인터페이스 모델 생성 방법 및 장치, PCT, PCT/KR2008/0002 (2008)
강교철,전태웅, 모바일 응용 애플리케이션의 동적 아키텍처를 모델링하기 위한 방법 및 그 장치, 한국, 10-2008-0004631 (2007)
강교철,전태웅, 모바일 응용 애플리케이션의 동적 아키텍처를 모델링하기 위한 방법 및 그 장치, 한국, 10-2008-0004631 (2007)
강교철,양진석,최윤석,맹주원, 동시 편집을 지원하는 다중 플랫폼 기반 사용자 인터페이스 화면 편집 방법, 한국, 10-2008-0004636 (2007)
강교철,양진석,최윤석,맹주원, 동시 편집을 지원하는 다중 플랫폼 기반 사용자 인터페이스 화면 편집 방법, 한국, 10-2008-0004636 (2007)
강교철,양진석,최윤석,맹주원, 컨테이너 레이아웃 모델을 이용하는 다중 플랫폼 기반 사용자 인터페이스 생성 방법, 장치 및 그 방법을 컴퓨터 실행가능 명령어로 기록한 컴퓨터 판독가능 매체, 한국, 10-2008-0004635 (2007)
강교철,양진석,최윤석,맹주원, 사용자 환경 프로파일링에 기반을 두어 테스트 대상 소프트웨어의 테스트를 지원하는 시뮬레이션 방법, 한국, 10-2008-0004634 (2007)
강교철,양진석,최윤석,맹주원, 사용자 환경 프로파일링에 기반을 두어 테스트 대상 소프트웨어의 테스트를 지원하는 시뮬레이션 방법, 한국, 10-2008-0004634 (2007)
강교철,양진석,최윤석,맹주원, 다양한 플랫폼에 적용 가능한 사용자 인터페이스 모델 생성 방법 및 장치, 한국, 10-2008-0004633 (2007)
강교철,양진석,최윤석,맹주원, 다양한 플랫폼에 적용 가능한 사용자 인터페이스 모델 생성 방법 및 장치, 한국, 10-2008-0004633 (2007)
강교철, 아사달 : 휘처 기반 소프트웨어 제품라인 개발환경, 한국, 10-2007-0035518 (2007)
강교철, 아사달 : 위처 기반 소프트웨어 제품라인 개발환경, -, PCT/KR2005/0036 (1992)
강교철, ASDAL : Feature-oriented Software Product Line engineering Environment, -, PCT/KR2005/0036 (1992)
강교철, 아사달 : 위처 기반 소프트웨어 제품라인 개발환경, PCT, PCT/KR2005/0036 (1992)
강교철, 아사달 : 휘처 기반 소프트웨서 제품라인 개발환경, 일본, 2005-215541 (1992)
강교철, ASDAL : Feature-oriented Software Product Line engineering Environment, 일본, 2005-215541 (1992)
강교철, 아사달 : 휘처 기반 소프트웨어 제품라인 개발환경, 한국, 10-2005-0056305 (1992)