Showing results 44 to 64 of 64
Selective establishment of pseudo reservations for QoS guarantees in mobile internet Lee, Kyounghee; Kim, Myungchul; Kang, Sungwon; Lee, Jonghyun, Proceedings - 2004 IEEE International Conference on Mobile Data Management, MDM 2004, pp.243 - 253, IEEE, 2004-01-19 |
Test cases generation from UML activity diagrams Kim, Hyungchoul; Kang, Sungwon; Baik, Jongmoon; Ko, In-Young, SNPD 2007: 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, v.3, pp.556 - 561, SNPD, 2007-07-30 |
Test Generation for VMF Tactical Data Link Messages - Coping with Message Length Variability and Semantic Message Rules Lee, Jihyun; Kang, Sungwon; Ko, Kyungmin; Keum, Changsup; Kim, Myungchul; Lee, Danhyung, The IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE 2011) , IEEE, 2011-11 |
Test Sequence Generation for Adaptive Interoperability Testing Kang, Sungwon; Kim, Myungchul, IFIP TC6/WG6.1 The 8th International Workshop on Protocol Test Systems (IWPTS'95), pp.193 - 206, 1995-09 |
Towards a Formal Framework for Product Line Test Development Kang, Sungwon; Lee, Jihyun; Kim, Myungchul; Lee, Woojin, CIT 2007: 7th IEEE International Conference on Computer and Information Technology, pp.921 - 926, IEEE, 2007-10-16 |
Transformation Rules for Synthesis of UML Activity Diagram from Scenario-based Specification Kang, Sungwon; Kim, Hyunho; Baik, Jongmoon; Choi, Ho-Jin; Keum, Changsup, 34th Annual Computer Software and Applications Conference, pp.431 - 436, IEEE, 2010-07-19 |
TTCN판정의 변별력에 대하여 강성원; 김명철; 박용범, COMSW'97(통신학회 주관), 한국통신학회, 1997 |
Typestate protocol specification in JML Kim, Taekgoo; Bierhoff, Kevin; Aldrich, Jonathan; Kang, Sungwon, 8th International Workshop on Specification and Verification of Component-Based Systems, SAVCBS'09, Co-located with the 7th ESEC/FSE Joint Meeting, ESEC-FSE'09, pp.11 - 18, Association for Computing Machinery (ACM), 2009-08-25 |
Verifying Communication Network Functionality through Protocol Testing Kang, Sungwon, International Conference on Software in Telecommunications and Computer Networks (SoftCOM'98), pp.0 - 0, 1998-10-01 |
가변 포맷 메시지로부터 XML 포맷 메시지로의 변환 기술 윤은채; 이지현; 강성원; 이노복, 한국통신학회 추계종합학술발표회, pp.0 - 0, 한국통신학회, 2006-11-18 |
사례연구: 기능확장성을 위한 소프트웨어 아키텍처 재설계 김정호; 강성원, 한국 소프트웨어공학 학술대회(KCSE 2009), 한국 소프트웨어공학회, 2011-02-09 |
사용 시나리오 분석을 위한 부분 실행 아키텍처의 도출 방법 정필수; 허준행; 안휘; Kang, Sungwon; 권오인; 서만수, 2015 제 17 회 한국 소프트웨어공학 학술대회 (KCSE 2015), 한국정보과학회, 2015-01-29 |
소프트웨어 프로덕트 라인 가변성 표현 언어의 비교 강성주; 안휘; 강성원; 신영미; 김상기, 한국 소프트웨어공학 학술대회, 한국소프트웨어공학회, 2011-02-10 |
소프트웨어 분석체계 박대성; 강성원, 제 31회 한국정보과학회 춘계학술대회, pp.0 - 0, 한국정보과학회, 2011-02-10 |
소프트웨어 분석체계 박대성; 강성원, 한국정보과학회 제 31회 학술발표회, v.31, no.1B, pp.433 - 435, 한국정보과학회, 2004-04-23 |
소프트웨어 설계 툴의 코드자동생성능력 비교 연구 조수란; 강성원, 정보과학회 2006 가을 학술발표, pp.0 - 0, 한국정보과학회, 2006-10-20 |
소프트웨어 아키텍처를 통한 시스템 기능확장성 측정에 관한 연구 김정호; 강성원, 한국IT서비스학회 추계학술대회, 한국IT서비스학회, 2007-11-21 |
전술 정보 교환을 위한 VMF 와 Link-16 메시지 간의 변환 기술 김진규; 강성원; 이우진; 안휘; 이지현; 김명철; 임원기; et al, 한국 소프트웨어공학기술 합동 워크샵, 한국정보과학회, 2009 |
전술데이터링크 시스템 구축을 위한 가변포맷메시지 시험도구 개발 고경민; 윤준호; 윤현재; 이지현; 강성원; 김명철; 임원기, 한국소프트웨어공학 학술대회, 한국소프트웨어공학회, 2011-02-10 |
효율적인 파싱을 위한 형식화한 가변 포맷 메시지 김진규; 이지현; 강성원, 2006년도 한국통신학회 추계학술대회, 한국통신학회, 2006-11-18 |
휘처 모델을 위한 가변성 표현 방법의 비교 안휘; 강성원, 2010 한국 소프트웨어공학 학술대회(KSEJW2010), 한국정보과학회 소프트웨어공학 소사이어티, 2010-08-19 |
Discover