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

Showing results 18 to 77 of 93

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

61
상태 추상화를 통한 Statecharts 요구명세의 검증

권용래, 한국정보과학회 학술발표논문집, pp.623 - 626, 1997

62
설계 안정성을 고려한 모듈 접속 언어의 확장

권용래; 안세환, 한국정보과학회 학술발표대회, 1987

63
소프트웨어 구성 관리 시스템의 설계 및 구현

권용래; 최재훈, 한국정보과학회 1990년도 가을 학술발표, 1990

64
소프트웨어 재사용을 위한 COMPONENT의 식별에 관한 연구

권용래, 한국정보과학회 학술발표논문집 , 제 1 4권 2호, 1987

65
실시간 객체 지향 소프트웨어 설계에서 시간 제약의 모델링 및 구현

권용래, 한국정보과학회 학술발표논문집, pp.535 - 538, 1997

66
요구분석 단계에서의 원영화를 위한 CASE도구

권용래; 홍형석; 배현섭; 차신; 이완권, 한국정보과학회 학술발표, 1994

67
유한 상태 기계 형태의 명세를 사용하는 클래스의 기능적 테스팅

권용래, 한국정보과학회 학술발표논문집 B, 1994

68
응집도에 기반한 클래스의 평가 및 재구성 방법

권용래; 채흥석, 한국정보과학회 학술발표대회, 1995

69
자료흐름도로부터 실행가능한 명세를 작성하기 위한 명세언어의 설계 및 구현

권용래, 한국정보과학회 학술발표논문집 제 1 5권 2호, 1988

70
자료흐름도에서 구조도로의 자동변환에 관한 연구

권용래, 한국정보학회 학술발표대회, 1995

71
재귀적 해석에 의한 온라인 수식 인식

권용래, 한국정보과학회 학술대회, 1991

72
재사용을 위한 소프트웨어 부품의 분류 및 검색 방법 연구

권용래, 한국정보과학회 학술발표논문집 제 1 7권 2호, 1990

73
전역 변수에 대한 모듈간 흐름 분석 방법

권용래, 한국정보과학회 학술발표대회, 1994

74
접속정보를 이용한 한글철자 및 띄어쓰기 검사기의 설계 및 구현

권용래; 최기선; 강재우; 송춘환; 김연배; 김길창, 한글 및 한국어 정보처리 학술대회, pp.3 - 9, 한국정보과학회, 1989

75
정적 분석 정보를 이용한 병행 프로그램 재수행 방법

권용래, 한국정보과학회 학술대회, 1994

76
지능망 서비스 개발 환경 프로토타입의 개발

권용래, 한국정보과학회 학술발표대회, 1994

77
지능망 서비스를 기술하기 위한 형식 명세 언어 Z의 확장

권용래, 한국정보과학회 학술발표논문집 제 1 9권 1호, 1992

Discover

rss_1.0 rss_2.0 atom_1.0