DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Kang, Sungwon

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 81 to 94 of 94

81
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

82
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

83
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

84
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

85
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

86
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

87
Verifying a Software Architecture Reconstruction Framework with a Case Study

Lee, Seonah; Kang, Sungwon, 2006 International Conference on Software Engineering and Knowledge Engineering (SEKE'2006), pp.0, SEKE'2006, 2011-08-10

88
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

89
A Weighted Call Graph Approach for Finding Relevant Components in Source Code

Ahn, Shin-Young; Kang, Sungwon; Baik, Jongmoon; Choi, Ho-Jin, 10th ACIS International Conference on Software Engineering, pp.539-544, 2009

90
A Weighted Call Graph Approachfor Finding Relevant Components in Source Code

Ahn, Shin-Young; Kang, Sungwon; Baik, Jong-Moon; Choi, Ho-Jin, 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, 2009

91
가변 포맷 메시지로부터 XML 포맷 메시지로의 변환 기술

윤, 은채; 이, 지현; 강, 성원; 이, 노복; Yoon, Eun-chae; Lee, Jihyun; Kang, Sungwon; et al, 2010-12-13

92
사용 시나리오 분석을 위한 부분 실행 아키텍처의 도출 방법

정필수; 허준행; 안휘; Kang, Sungwon; 권오인; 서만수, 2015 제 17 회 한국 소프트웨어공학 학술대회 (KCSE 2015), 한국정보과학회, 2015-01-29

93
소프트웨어 제품라인 개발을 위한 직교적 가변성 기술 언어 기반의 바인딩 적용 도구

고경민; Kang, Sungwon; 안종선, 2015 제 17 회 한국 소프트웨어공학 학술대회 (KCSE 2015), 한국정보과학회, 2015-01-29

94
피처-요구사항 간 플랫폼 추적성 구축 관리 도구

Shim, Jason; Ahn, Hwi; Han, Younghun; Kang, Sungwon, 한국컴퓨터종합학술대회, pp.637 - 638, 한국정보과학회, 2016-06

Discover

rss_1.0 rss_2.0 atom_1.0