DSpace at KOASAS: Browsing DSpace

DSpace at KOASAS

Browsing DSpace

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

Sort by:
In order:
Results/Page
Authors/Record:

Showing results 1 to 60 of 93

1	A Design of An Experimental Programming Support System 권용래, 한국정보과학회 학술발표논문집 베 1 1권 2호, 1984
2	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
3	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
4	A Petri-Nets Based Approach for Detecting Feature Interactions in Telecommunications Services Kwon, Yong Rae, , 1995-01-01
5	A Prolog-based Tool for Requirements Analysis 권용래, 한국정보과학회 학술발표논문집 제 1 1권 2호, 1984
6	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
7	Algebraic Specification-based Testing Kwon, Yong Rae, Proc. Joint Conference on Software Engineering '92, pp.293 -, 1992
8	An Approach to Restructuring Software Modules Through Program Slicing Kwon, Yong Rae, Proc. Joint Conference on Software Engineering '93, pp.307 - 307, 1993
9	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
10	An Environment for Regression Testing of Object-Orienetd Programs Kwon, Yong Rae, Joint Workshop on System Development (JWSD '02), 2002
11	An Executable System Model Based on Stream Processing for Structured Analysis Kwon, Yong Rae, 1987 IEEE Region 10 Conference, pp.1202 -, 1987
12	An Experimental Mutation System for Java Kwon, Yong Rae, Workshop on Experimental Research in Software Testing (WERST 2004), 2004
13	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
14	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
15	Assertion 기법의 소프트웨어 요구분석 과정에의 응용 연구 권용래, 한국정보과학회 학술발표논문집 제 1 4권 1호, 1987
16	Attribute Grammar를 이용한 소프트웨어 Instrument 도구의 설계 및 구현 권용래, 한국정보과학회 학술발표논문집 제 1 5권 1호, 1988
17	Automatic Verification of Statecharts as Implemented by STATEMATE Kwon, Yong Rae, Semantic Foundations of Engineering Design Languages(SFEDL '02), pp.41 - 60, 2002
18	C 언어 프로그램의 테스팅 환경 권용래, 한국정보과학회 학술발표논문집 제 1 9권 2호, 1992
19	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
20	Design of a Module Interconnection Language and Its Processor 권용래, 한국정보과학회 학술발표논문집 제 1 2권 1호, 1985
21	Designing a Reuasable Class Library in a Service Creation Environment Kwon, Yong Rae, Proc. Joint Conference on Software Engineering, pp.41 -, 1992
22	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
23	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
24	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
25	Fault-based DRB(Distributed Recovery Block) for Switching Systems Kwon, Yong Rae, The 9th International Symposium on Software Reliability Engineering (ISSRE '98), 1998
26	Flexible Allocation of Timing Constraints in Designing Real-Time Object-Oriented Software Kwon, Yong Rae, Euromicro Workshop on Real-Tme Systems, 1999
27	Framework for Third Party Testing of Component Software Kwon, Yong Rae, Joint Workshop on System Development (JWSD '01), 2001
28	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
29	Incorporating Abstraction Mechanisms into Prolog 권용래, 한국정보과학회 학술발표논문집 제 1 2권 2호, 1985
30	Modeling and Analysis Requirements of Service-Oriented Communications Software Using Use Cases Kwon, Yong Rae, Advanced Communicaton Technology(ICACT 2001), 2001
31	Modeling and Detecting Feature Interactions Using Petri-Nets Kwon, Yong Rae, , 1994-01-01
32	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
33	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
34	Mutation Operators for Java Kwon, Yong Rae, Int'l Symposium on Software Reliability Engineering(ISSRE 2002), 2002
35	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
36	Satefy Verification of Ada95 Programs Using Software Fault Trees Kwon, Yong Rae, Safecom 99, 1999
37	Software Engineering Practices in Korea : Hoping to Exploit Bright Opportunities Kwon, Yong Rae, Proc. Joint Conference on Software Engineering '93, pp.403 - 303, 1993
38	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
39	SPIN++를 이용한 병렬객체모델의 검증 권용래, 한국정보과학회 학술발표논문집, 1998
40	Status of Software Engineering and Software Programmes in Korea Kwon, Yong Rae, Proc. 10th. Int'l Conf. Software Engineering, pp.453 -, 1988
41	Structure-Oriented 프로그래밍 환경을 위한 Syntax-Directed 에디터의 구현 권용래, 한국정보과학회 학술발표논문집 제 1 5권 2호, 1988
42	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
43	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
44	Testing of Dynamic and State Dependent Behavior of Web Applications Kwon, Yong Rae, Joint Workshop on System Development (JWSD '02), 2002
45	The AttNet Model : A Petri Net Based Language for Modeling Distributed Software Process Kwon, Yong Rae, Proc. InfoScience '93, pp.121 - 121, 1993
46	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
47	The Static Semantics and Priority Schemes for Statechart Kwon, Yong Rae, International Computer Software and Applications Conference, pp.114 - 120, 1995-01-01
48	Vienna Definition Language를 이용하여 자료흐름도로부터 실행가능한 Specification을 구성하는 방법 권용래, 한국정보과학회 학술발표논문집 제 1 4권 1호, 1987
49	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
50	Z 요구 명세의 의존성 분석 권용래, 한국정보과학회 학술발표논문집, v.23, no.11, 1996
51	객체 지향 소프트웨어에서의 회귀 테스팅에 관한 연구 권용래, 한국정보과학회 학술발표논문집, pp.569 - 572, 1997
52	객체간의 상호작용의 추상화 권용래, 한국정보과학회 가을 학술대회 논문집, 1996
53	교육용 시각적 컴퓨터 언어 개발에 관한 연구 권용래; 김현수, 한국정보과학회 전산교육연구회, 1990
54	구조 지향적 에디팅 환경에서의 타입 검사 권용래; 김영주; 최진희, 한국정보과학회 학술발표논문집 제1 6권 1호, v.16, no.1, 1989
55	그룹웨어 접근 방법을 이용한 프로그램의 팀 디버깅 권용래; 이덕순, 한국정보과학회 학술발표논문집, 1993
56	다중 프로그램 View를 제공하기 위한 명세어의 설계 및 구현 권용래, 한국정보과학회 학술발표논문집 제 1 6권 2호, 1989
57	모듈 접속언어를 이용한 소프트웨어 구축의 정적 분석과 Makefile의 생성 권용래, 한국정보과학회 학술발표논문집 제 1 6권 2호, 1989
58	병행 프로그램의 테스트케이스 생성 방법에 관한 연구 권용래; 배준수; 정인상, 한국정보과학회 1993년도 봄 학술발표회, 1993
59	분산 실시간 시스템에서의 선후 관계를 고려한 태스크 할당 권용래, 한국정보과학회 학술발표논문집, 1995
60	산수 학습용 시각적 언어 개발에 관한 연구 권용래; 김현수, 한국정보과학회 학술발표논문집 제 1 8권 2호, 1991

Discover

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

Communities & Collections

rss_1.0 rss_2.0 atom_1.0