Showing results 1 to 60 of 93
A Design of An Experimental Programming Support System 권용래, 한국정보과학회 학술발표논문집 베 1 1권 2호, 1984 |
A Hybrid Architecture for Effective Representation of Knowledge in Eddy Current Signal Evaluation Kwon, Yong Rae, Proc. 2nd. Pacific Rim Int'l Conference on Artificial Intelligance, pp.400 -, 1992 |
A Hybrid Expert System for Eddy Current-Based Inspection of Steam Generator Tubes in Nuclear Power Plant Kwon, Yong Rae, Proc. 3rd. Symposium on Expert Systems Application to Power Sys-tems, pp.144 -, 1991 |
A Petri-Nets Based Approach for Detecting Feature Interactions in Telecommunications Services Kwon, Yong Rae, , 1995-01-01 |
A Prolog-based Tool for Requirements Analysis 권용래, 한국정보과학회 학술발표논문집 제 1 1권 2호, 1984 |
A Systematic Class Refactoring Approach Based on Metrics Kwon, Yong Rae, 3rd. Int'f Conf. Computer Science, Software Engineering, e-Business, and Applications (CSITeA-04), 2004 |
Algebraic Specification-based Testing Kwon, Yong Rae, Proc. Joint Conference on Software Engineering '92, pp.293 -, 1992 |
An Approach to Restructuring Software Modules Through Program Slicing Kwon, Yong Rae, Proc. Joint Conference on Software Engineering '93, pp.307 - 307, 1993 |
An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection So, Sunsup; Lim, Youngseop; Cha, Sungdeok; Kwon, Yong Rae, Proc. 2nd Asia-Pacific Software Eng. Conf., pp.345-351, IEEE, 1995-12 |
An Environment for Regression Testing of Object-Orienetd Programs Kwon, Yong Rae, Joint Workshop on System Development (JWSD '02), 2002 |
An Executable System Model Based on Stream Processing for Structured Analysis Kwon, Yong Rae, 1987 IEEE Region 10 Conference, pp.1202 -, 1987 |
An Experimental Mutation System for Java Kwon, Yong Rae, Workshop on Experimental Research in Software Testing (WERST 2004), 2004 |
Analysis and Enactment of A Distributed Software Process Model : The AttNet Model Lee, Woo Jin; Chung, In Sang; Kwon, Yong Rae, First Asia-Pacific Software Engineering Conference, pp.278 - 286, IEEE, 1994-12 |
Applying Conventional Testing Techniques for Class Testing Chung, In -Sang; Munro, Malcolm; Lee, W. K.; Kwon, Yong Rae, Computer Software and Applications Conference(COMPSAC)'97, pp.447 - 460, IEEE, 1996-08 |
Assertion 기법의 소프트웨어 요구분석 과정에의 응용 연구 권용래, 한국정보과학회 학술발표논문집 제 1 4권 1호, 1987 |
Attribute Grammar를 이용한 소프트웨어 Instrument 도구의 설계 및 구현 권용래, 한국정보과학회 학술발표논문집 제 1 5권 1호, 1988 |
Automatic Verification of Statecharts as Implemented by STATEMATE Kwon, Yong Rae, Semantic Foundations of Engineering Design Languages(SFEDL '02), pp.41 - 60, 2002 |
C 언어 프로그램의 테스팅 환경 권용래, 한국정보과학회 학술발표논문집 제 1 9권 2호, 1992 |
Cohesion measure for classes in object-oriented systems Chae Heung Seok; Kwon, Yong Rae, Proceedings of the 1998 5th International Software Metrics Symposium, pp.158 - 166, 1998-11-20 |
Design of a Module Interconnection Language and Its Processor 권용래, 한국정보과학회 학술발표논문집 제 1 2권 1호, 1985 |
Designing a Reuasable Class Library in a Service Creation Environment Kwon, Yong Rae, Proc. Joint Conference on Software Engineering, pp.41 -, 1992 |
Distribution of Information Contents and Entropy of Hangul Character Images Kwon, Yong Rae, Proc. 1991 Int'l Conf. on Computer Processing of Chinese and Oriental Languages, pp.195 -, 1991 |
Evaluation of mutation testing for object-oriented programs Ma Y.-S.; Harrold M.J.; Kwon, Yong Rae, 28th International Conference on Software Engineering, ICSE '06, pp.869 - 872, 2006-05-20 |
EXECUTABLE SYSTEM MODEL BASED-ON STREAM PROCESSING FOR STRUCTURED ANALYSIS Kim, Myoung Ho; Kwon, Yong Rae, Proceedings - TENCON 87: 1987 IEEE Region 10 Conference, 'Computers and Communications Technology Toward 2000', pp.1202 - 1206, IEEE, 1987 |
Fault-based DRB(Distributed Recovery Block) for Switching Systems Kwon, Yong Rae, The 9th International Symposium on Software Reliability Engineering (ISSRE '98), 1998 |
Flexible Allocation of Timing Constraints in Designing Real-Time Object-Oriented Software Kwon, Yong Rae, Euromicro Workshop on Real-Tme Systems, 1999 |
Framework for Third Party Testing of Component Software Kwon, Yong Rae, Joint Workshop on System Development (JWSD '01), 2001 |
Hierarchical understandability assessment model for large-scale OO system Hwa J.; Lee S.; Kwon, Yong Rae, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, pp.11 - 18, 2009-12-01 |
Incorporating Abstraction Mechanisms into Prolog 권용래, 한국정보과학회 학술발표논문집 제 1 2권 2호, 1985 |
Modeling and Analysis Requirements of Service-Oriented Communications Software Using Use Cases Kwon, Yong Rae, Advanced Communicaton Technology(ICACT 2001), 2001 |
Modeling and Detecting Feature Interactions Using Petri-Nets Kwon, Yong Rae, , 1994-01-01 |
MUGAMMA: Mutation analysis of deployed software to increase confidence and assist evolution Kim S.-W.; Harrold M.J.; Kwon, Yong Rae, 2nd Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006), MUTATION'06, 2006-11-07 |
MuJava: A mutation system for java Ma Y.-S.; Offutt J.; Kwon, Yong Rae, 28th International Conference on Software Engineering 2006, ICSE '06, pp.827 - 830, 2006-05-20 |
Mutation Operators for Java Kwon, Yong Rae, Int'l Symposium on Software Reliability Engineering(ISSRE 2002), 2002 |
On the concurrent behavior of SCR specifications Hong Hyoung Seok; Cha, Sungdeok; Kwon, Yong Rae, Proceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97, pp.258 - 263, 1997-08-13 |
Satefy Verification of Ada95 Programs Using Software Fault Trees Kwon, Yong Rae, Safecom 99, 1999 |
Software Engineering Practices in Korea : Hoping to Exploit Bright Opportunities Kwon, Yong Rae, Proc. Joint Conference on Software Engineering '93, pp.403 - 303, 1993 |
Software Technology and Industry of Korea: Widening Horizon and Emerging Presence Kwon, Yong Rae, Proc. 13th. Int'l Computer Software and Applications Conf, pp.550 -, IEEE, 1989-09 |
SPIN++를 이용한 병렬객체모델의 검증 권용래, 한국정보과학회 학술발표논문집, 1998 |
Status of Software Engineering and Software Programmes in Korea Kwon, Yong Rae, Proc. 10th. Int'l Conf. Software Engineering, pp.453 -, 1988 |
Structure-Oriented 프로그래밍 환경을 위한 Syntax-Directed 에디터의 구현 권용래, 한국정보과학회 학술발표논문집 제 1 5권 2호, 1988 |
Testing of Concurrent Programs After Specification Changes Chung, In Sang; Kim, Hyeon Soo; Bae, Hyun Seop; Kwon, Yong Rae; Lee, Dong Gil, International Conference on Software Maintenance (ICSM '99), pp.199 - 208, IEEE, 1999 |
Testing of concurrent programs based on message sequence charts Chung, In Sang; Kim, Hyeon Soo; Bae, Hyun Seop; Kwon, Yong Rae; Lee, Byung Sun, International Symposium on Parallel and Distributed Software Engineering(PDSE '99), IEEE, 1999-05 |
Testing of Dynamic and State Dependent Behavior of Web Applications Kwon, Yong Rae, Joint Workshop on System Development (JWSD '02), 2002 |
The AttNet Model : A Petri Net Based Language for Modeling Distributed Software Process Kwon, Yong Rae, Proc. InfoScience '93, pp.121 - 121, 1993 |
The class-level mutants of MuJava Offutt J.; Ma Y.-S.; Kwon, Yong Rae, 1st International Workshop on Automation of Software Test, AST'06, Co-located with the 28th International Conference on Software Engineering, ICSE 2009, pp.78 - 84, 2006-05-20 |
The Static Semantics and Priority Schemes for Statechart Kwon, Yong Rae, International Computer Software and Applications Conference, pp.114 - 120, 1995-01-01 |
Vienna Definition Language를 이용하여 자료흐름도로부터 실행가능한 Specification을 구성하는 방법 권용래, 한국정보과학회 학술발표논문집 제 1 4권 1호, 1987 |
Yet Another Complexity Metrics for Concurrent Programs based on Entropy Theory Kwon, Yong Rae, Proc. Joint Conference on Software Engineering '93, pp.229 - 229, 1993 |
Z 요구 명세의 의존성 분석 권용래, 한국정보과학회 학술발표논문집, v.23, no.11, 1996 |
객체 지향 소프트웨어에서의 회귀 테스팅에 관한 연구 권용래, 한국정보과학회 학술발표논문집, pp.569 - 572, 1997 |
객체간의 상호작용의 추상화 권용래, 한국정보과학회 가을 학술대회 논문집, 1996 |
교육용 시각적 컴퓨터 언어 개발에 관한 연구 권용래; 김현수, 한국정보과학회 전산교육연구회, 1990 |
구조 지향적 에디팅 환경에서의 타입 검사 권용래; 김영주; 최진희, 한국정보과학회 학술발표논문집 제1 6권 1호, v.16, no.1, 1989 |
그룹웨어 접근 방법을 이용한 프로그램의 팀 디버깅 권용래; 이덕순, 한국정보과학회 학술발표논문집, 1993 |
다중 프로그램 View를 제공하기 위한 명세어의 설계 및 구현 권용래, 한국정보과학회 학술발표논문집 제 1 6권 2호, 1989 |
모듈 접속언어를 이용한 소프트웨어 구축의 정적 분석과 Makefile의 생성 권용래, 한국정보과학회 학술발표논문집 제 1 6권 2호, 1989 |
병행 프로그램의 테스트케이스 생성 방법에 관한 연구 권용래; 배준수; 정인상, 한국정보과학회 1993년도 봄 학술발표회, 1993 |
분산 실시간 시스템에서의 선후 관계를 고려한 태스크 할당 권용래, 한국정보과학회 학술발표논문집, 1995 |
산수 학습용 시각적 언어 개발에 관한 연구 권용래; 김현수, 한국정보과학회 학술발표논문집 제 1 8권 2호, 1991 |
Discover