Showing results 35 to 93 of 93
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 |
상태 추상화를 통한 Statecharts 요구명세의 검증 권용래, 한국정보과학회 학술발표논문집, pp.623 - 626, 1997 |
설계 안정성을 고려한 모듈 접속 언어의 확장 권용래; 안세환, 한국정보과학회 학술발표대회, 1987 |
소프트웨어 구성 관리 시스템의 설계 및 구현 권용래; 최재훈, 한국정보과학회 1990년도 가을 학술발표, 1990 |
소프트웨어 재사용을 위한 COMPONENT의 식별에 관한 연구 권용래, 한국정보과학회 학술발표논문집 , 제 1 4권 2호, 1987 |
실시간 객체 지향 소프트웨어 설계에서 시간 제약의 모델링 및 구현 권용래, 한국정보과학회 학술발표논문집, pp.535 - 538, 1997 |
요구분석 단계에서의 원영화를 위한 CASE도구 권용래; 홍형석; 배현섭; 차신; 이완권, 한국정보과학회 학술발표, 1994 |
유한 상태 기계 형태의 명세를 사용하는 클래스의 기능적 테스팅 권용래, 한국정보과학회 학술발표논문집 B, 1994 |
응집도에 기반한 클래스의 평가 및 재구성 방법 권용래; 채흥석, 한국정보과학회 학술발표대회, 1995 |
자료흐름도로부터 실행가능한 명세를 작성하기 위한 명세언어의 설계 및 구현 권용래, 한국정보과학회 학술발표논문집 제 1 5권 2호, 1988 |
자료흐름도에서 구조도로의 자동변환에 관한 연구 권용래, 한국정보학회 학술발표대회, 1995 |
재귀적 해석에 의한 온라인 수식 인식 권용래, 한국정보과학회 학술대회, 1991 |
재사용을 위한 소프트웨어 부품의 분류 및 검색 방법 연구 권용래, 한국정보과학회 학술발표논문집 제 1 7권 2호, 1990 |
전역 변수에 대한 모듈간 흐름 분석 방법 권용래, 한국정보과학회 학술발표대회, 1994 |
접속정보를 이용한 한글철자 및 띄어쓰기 검사기의 설계 및 구현 권용래; 최기선; 강재우; 송춘환; 김연배; 김길창, 한글 및 한국어 정보처리 학술대회, pp.3 - 9, 한국정보과학회, 1989 |
정적 분석 정보를 이용한 병행 프로그램 재수행 방법 권용래, 한국정보과학회 학술대회, 1994 |
지능망 서비스 개발 환경 프로토타입의 개발 권용래, 한국정보과학회 학술발표대회, 1994 |
지능망 서비스를 기술하기 위한 형식 명세 언어 Z의 확장 권용래, 한국정보과학회 학술발표논문집 제 1 9권 1호, 1992 |
지식기반적인 소프트웨어 구성관리 시스템 권용래, 한국정보과학회 학술발표대회, 1992 |
직접 조작 방식의 사용자 인터페이스를 제공하기위한 USE 명세어의 확장 권용래, 한국정보과학회 학술발표논문집 제 1 7권 1호, 1990 |
최약 선행 조건을 이용한 다중 버전 소프트웨어에서의 공동 모드 고장 검출 권용래, 한국정보과학회 학술발표논문집, pp.599 - 602, 1997 |
컬러드 페트리네트를 이용한 지능망 서비스의 모델링 및 검증 권용래; 차성덕, 차세대 지능망 학술대회, 1996 |
트리 구조에 대한 효율적인 버전 관리 방법 권용래; 최진희, 한국정보과학회 학술발표논문집, 1996 |
파스칼 프로그램용 정적 분석 도구(PASCAN) 개발 권용래, 한국정보과학회 학술발표논문집 제 1 2권 1호, 1985 |
패턴을 바탕으로 한 객체 지향 설계 권용래, 한국정보과학회 학술발표논문집, 1996 |
페트리 네트를 이용한 서비스 특징의 모델링 및 서비스 상호작용의 검사 권용래, 제 4회 통신정보 합동 학술대회 논문집, 1994 |
프로그램 명세를 위한 Pseudo Code Processor의 개발 권용래, 한국정보과학회 학술발표논문집 제 1 2권 1호, 1985 |
프로그램 분할을 이용한 모듈 재구성 방법 권용래, 한국정보과학회 학술발표논문집 제 1 9권 2호, 1992 |
프로그램 수행 경로와 자료흐름 정보를 모두 고려한 복잡도 척도에 관한 연구 권용래, 한국정보과학회 학술발표논문집 제 1 6권 1호, 1989 |
프로그램 에디팅 환경에서의 점진적 코드 생성 및 실행 권용래, 한국정보과학회 학술발표논문집 제 1 7권 1호, 1990 |
프로그램을 재검증하기 위한 최소 경로 선택 방법 권용래, 한국정보과학회 학술발표논문집 제 1 8권 2호, 1991 |
한글 요구 분석 시스템의 설계 및 구현 권용래, 한국정보과학회 학술발표, 1986 |
확장된 C CROSS REFERENCER의 설계 및 구현 권용래, 한국정보과학회 학술발표논문집 제 1 4권 2호, 1987 |
회의 지원 시스템의 개발 권용래, 한국정보과학회 학술발표회, 1993 |
Discover