Showing results 1 to 60 of 64
A Comparison of Field Mapping Approaches to Message Translation for Data Communication Protocols Kim, Jingyu; Kang, Sungwon, Korea-Japan Joint Workshop on ICT, 2012-09-20 |
A Comparison of Software Product Line Architecture Design Methods from the Practicality Viewpoint Ahn, Hwi; Kang, Sungwon, 한국 소프트웨어공학 학술대회(KCSE 2009), pp.1 - 8, 한국 소프트웨어공학회, 2009-02-09 |
A formal approach to verify mapping relation in a software product line Satyananda, T.K.; Lee, Danhyung; Kang, Sungwon, CIT 2007: 7th IEEE International Conference on Computer and Information Technology, v.0, no.0, pp.934 - 939, IEEE, 2007-10-16 |
A Framework for Exchanging Heterogeneous Messages based-on Ontology Mapping 윤은채; 강성원, 2007 한국 소프트웨어공학 학술대회, pp.0 - 0, 2007 |
A method to generate a feature model from a business process model for business applications Bae, Jongsu; Kang, Sungwon, CIT 2007: 7th IEEE International Conference on Computer and Information Technology, pp.879 - 884, 2007-10-16 |
A Methodology for Software Product Platform Design Based on Features Alsawalqah, Hamad; Kang, Sungwon; Lee, Danhyung, 4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013) , pp.18 - 25, ACM, 2013-08-27 |
A mobility management scheme using SCTP-SIP for real-time services across heterogeneous networks Park, Hyelim; Kim, Myungchul; Lee, Sooyong; Kang, Sungwon; Kim, Yongho, 24th Annual ACM Symposium on Applied Computing, SAC 2009, pp.196 - 200, Association for Computing Machinery (ACM), 2009-03-08 |
A Schedulability Analysis Framework for Real-time Infrastructure Systems Managing Heterogeneous Resources Kim, Jinhyun; Kang, Sungwon, International Workshop on Real-time and Distributed Computing in Emerging Applications (REACTION), IEEE, 2012-12-04 |
A systematic test case generation approach for testing message length variability Go, Kyungmin; Kang, Sungwon; Kim, Myungchul; Lee, Jihyun, 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011, pp.397 - 406, IEEE, 2011-03-21 |
A usability-pattern-based requirements-analysis method to bridge the gap between user tasks and application features Lee, Sang-Hyun; Ko, In-Young; Kang, Sungwon; Lee, Danhyung, 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, pp.317 - 326, COMPSAC, 2010-07-19 |
A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines Kang, Deukyoon; Kim, Myungchul; Kang, Sungwon; Yoo, Sangjo, IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification Testing and Verification (PSTV XVII), pp.267 - 282, 1997 |
ALFReD: 재귀적 설계를 위한 구조기술언어 최윤석; 강성원, 제 6회 한국소프트웨어공학 학술대회, pp.0 - 0, 2009-09-21 |
An Approach for Testing Asynchronous Communicating Systems Kim, Myungchul; Chanson, Samuel T.; Kang, Sungwon; Shin,Jaehwi, IFIP TC6/WG6.1 The 9th International Workshop on Testing of Communicating Systems (IWTCS'96), pp.141 - 151, 1996-09 |
An enhanced model for testing asynchronous communicating systems Kim, Myungchul; Shin, Jaehwi; Chanson, Samuel T.; Kang, Sungwon, IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification Testing and Verification (PSTV XIX), pp.0 - 0, 1999-10 |
An overview of the Business Process Maturity Model (BPMM) Lee, Jihyun; Lee, Danhyung; Kang, Sungwon, ApWeb/WAIM 2007 International Workshops: 1st International workshop on Database Management and Applications over Networks, DBMAN 2007 - 1st Workshop on Emerging Trends of Web Technologies and Applications, WebETrends 2007 - International Workshop on, pp.384 - 395, Springer Verlag, 2007-06-16 |
Architecture decision based on value-based Software Engineering concepts Kim, Jingyu; Kang, Sungwon, 2008 1st India Software Engineering Conference, ISEC'08, pp.143 - 144, 2008-02-19 |
Architecture Decision within Value-Based Software Engineering concepts Kim, Jin-Gyu; Kang, Sungwon, 1st India Software Engineering Conference, 2008-02 |
Automated generation of product use case scenarios in product line development Choi, Woo-seok; Kang, Sungwon; Choi, Ho-Jin; Baik, Jongmoon, 2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008, pp.760 - 765, IEEE Computer Society, 2008-07-08 |
Conformance Testing of Multi-protocol IUTs Park, Yongbum; Kim, Myungchul; Kang, Sungwon, IWTCS, 1999 |
Design Phase Analysis of Software Performance Using Aspect-Oriented Programming Park, Daesung; Kang, Sungwon, 7th Int’l Conf. on UML Modeling Languages and Applications - Aspect oriented modeling workshop, pp.0 - 0, 2004-10-10 |
Design phase analysis of software qualities using aspect-oriented programming Park, Daesung; Kang, Sungwon; Lee, Jihyun, 7th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, SNPD 2006, including Second ACIS International Workshop on Self-Assembling Wireless Networks, SAWN 2006, v.2006, pp.29 - 34, SNPD, 2006-06-19 |
Designing logical architectures of software systems Kang, Sungwon; Choi Y., 6th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and 1st ACIS International Workshop on Self-Assembling Wireless Networks, SNPD/SAWN 2005, v.2005, pp.330 - 337, SNPD, 2005-05-23 |
Developing object oriented designs from component and connector architectures Park, Hyoung-iel; Kang, Sungwon; Choi, Yoonsuk; Lee, Danhyung, 12th Asia-Pacific Software Engineering Conference, APSEC'05, v.2005, pp.231 - 238, IEEE, 2005-12-15 |
Development and Application of ATM Protocol Conformance Test System Kang, Sungwon; Seo, Youngsoo; Kang, Deukyoon; Hong, Mijeong; Yang, Junhwan; Koh, Ilkook; Shin, Jaehwi; et al, IFIP TC6/WG6.1 The 12th International Workshop on Testing of Communicating Systems (IWTCS'99), pp.331 - 346, 1999-09 |
Extended architecture analysis description language for software product line approach in embedded systems (extended abstract) Oh, Youngseok; Lee, Danhyung; Kang, Sungwon; Lee, Ji Hyun, 5th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2007, pp.87 - 88, IEEE Computer Society, 2007-05-30 |
FMBP (A methods to generate Feature Model from Business Process Model for business application) Bae, Jongsu; Kang, Sungwon, Proceedings of the IEEE 7th Int’l Conference on Computer and Information Technology, pp.879 - 884, IEEE, 2007-10-16 |
Formal verification of consistency between feature model and software architecture in software product line Tonny, Kurniadi Satyananda; Lee, Danhyung; Kang, Sung-Won, International Conference on Software Engineering Advances(ICSEA 2007), IEEE, 2007-08-25 |
FSP Model을 이용한 C&C View 아키텍처의 검증 김정호; 강성원, 한국IT서비스학회 추계학술대회, pp.0 - 0, 한국IT서비스학회, 2006-11-15 |
Identifying traceability between feature model and software architecture in software product line using formal concept analysis Satyananda, T.K.; Lee, Danhyung; Kang, Sungwon; Hashmi, S.I., 2007 International Conference on Computational Science and its Applications, ICCSA 2007, v.0, no.0, pp.380 - 386, IEEE, 2007-08-26 |
Interoperability Test Suite Derivation for Symmetric Communication Protocols Kim, Myungchul; Kang, Sungwon, Int'l Conf. on FORTE/PSTV, pp.57 - 72, 1997 |
Interoperability Test Suite Derivation for the TCP Seol, Soonuk; Kim, Myungchul; Kang, Sungwon; Park, Yongbum; Choe, Younghan, FORTE/PSTV, pp.357 - 376, 1997 |
Interoperability Test Suite Derivation of the ATM/B-ISDN Signaling Protocol Shin, J; Kang, Sungwon, IFIP TC6/WG6.1 The 11th International Workshop on Testing of Communicating Systems (IWTCS'98), pp.0 - 0, 1998-08-31 |
Interoperability Test Suite Generation for the TCP Data Part using Experimental Design Techniques Ryu,Jiwon; Kim, Myungchul; Kang, Sungwon; Seol, Soonuk, DAVIC at New York, pp.127 - 142, 2000 |
Libpcapv6: Packet Capture Library Supporting IPv6 Kang, D; Fang, H; Montgomery, D; Kang, Sungwon, International Conference on Computer Communications, pp.0 - 0, 1999 |
Mining Contexts for Recommending Source Locations to Explore Lee, Seonah; Kang, Sungwon, Korea-Japan Joint Workshop on ICT, Information Processing Society of Japan, 2013-12-12 |
NavClus: A Graphical Recommender for Assisting Code Exploration Lee, Seonah; Kang, Sungwon; Staats, Matt, 35th International Conference on Software Engineering (ICSE 2013), pp.1315 - 1318, ACM, 2013-05-18 |
Performance analysis of AAL5 FIFO multiplexer for guaranteeing QoS requirements in CBR MPEG-2 service Lim, Jong-hoon; Jung, Jae-il; Song, Joong-gu; Lee, Chae-woo; Kang, Sungwon, 13th International Conforence On Information Networking (ICOIN'99), pp.0 - 0, 1999 |
Performance Evaluation of TCP over UBR Kang, Sungwon, ACIS 1st International Conference on Software Engineering Applied to Networking & Parallel/Distributed Computing, pp.0 - 0, 2000-05-01 |
Plasma-enhanced atomic layer deposition of HfO2 thin films using oxygen plasma Park, P.K.; Kang, Sungwon, 208th Meeting of The Electrochemical Society, pp.915 -, 2005-10-16 |
Product line approach to role-based middleware development for ubiquitous sensor network Lee, Woojin; Kang, Sungwon; Lee, Danhyung, CIT 2007: 7th IEEE International Conference on Computer and Information Technology, pp.1032 - 1037, 2007-10-16 |
Real-time (QoS) Monitoring modeling and Interoperability Test Case Generation Chin, Byoung-Moon; Kim, Sungun; Kang, Sungwon; Park, Chee-Hang, 13th International Conforence On Information Networking (ICOIN'99), pp.0 - 0, 1999 |
Relating Interoperability Testing with Conformance Testing Kang, Sungwon, IEEE Global Communications Conference (Globecomm’98), pp.3768 - 3773, IEEE, 1998-11-08 |
Reliability assessment of translated VMF/link-16 messages Kim, Jingyu; Kang, Sungwon; Lee, Nohbok, 19th International Symposium on Software Reliability Engineering, ISSRE 2008, pp.283 - 284, 2008-11-10 |
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 |
Discover