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

Showing results 1 to 56 of 56

1
A Design of An Experimental Programming Support System

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

2
A Prolog-based Tool for Requirements Analysis

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

3
Assertion 기법의 소프트웨어 요구분석 과정에의 응용 연구

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

4
Attribute Grammar를 이용한 소프트웨어 Instrument 도구의 설계 및 구현

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

5
C 언어 프로그램의 테스팅 환경

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

6
Design of a Module Interconnection Language and Its Processor

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

7
Incorporating Abstraction Mechanisms into Prolog

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

8
SPIN++를 이용한 병렬객체모델의 검증

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

9
Structure-Oriented 프로그래밍 환경을 위한 Syntax-Directed 에디터의 구현

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

10
UML/OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경

김상운; 마유승; 강제성; 배두환; 권용래, 한국정보과학회 2001 추계학술대회, v.28, no.2, pp.553 - 555, 한국정보과학회, 2001

11
Vienna Definition Language를 이용하여 자료흐름도로부터 실행가능한 Specification을 구성하는 방법

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

12
Z 요구 명세의 의존성 분석

권용래, 한국정보과학회 학술발표논문집, v.23, no.11, 1996

13
객체 지향 소프트웨어에서의 회귀 테스팅에 관한 연구

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

14
객체간의 상호작용의 추상화

권용래, 한국정보과학회 가을 학술대회 논문집, 1996

15
교육용 시각적 컴퓨터 언어 개발에 관한 연구

권용래; 김현수, 한국정보과학회 전산교육연구회, 1990

16
구조 지향적 에디팅 환경에서의 타입 검사

권용래; 김영주; 최진희, 한국정보과학회 학술발표논문집 제1 6권 1호, v.16, no.1, 1989

17
그룹웨어 접근 방법을 이용한 프로그램의 팀 디버깅

권용래; 이덕순, 한국정보과학회 학술발표논문집, 1993

18
다중 프로그램 View를 제공하기 위한 명세어의 설계 및 구현

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

19
모듈 접속언어를 이용한 소프트웨어 구축의 정적 분석과 Makefile의 생성

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

20
병행 프로그램의 테스트케이스 생성 방법에 관한 연구

권용래; 배준수; 정인상, 한국정보과학회 1993년도 봄 학술발표회, 1993

21
분산 실시간 시스템에서의 선후 관계를 고려한 태스크 할당

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

22
산수 학습용 시각적 언어 개발에 관한 연구

권용래; 김현수, 한국정보과학회 학술발표논문집 제 1 8권 2호, 1991

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

40
지식기반적인 소프트웨어 구성관리 시스템

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

41
직접 조작 방식의 사용자 인터페이스를 제공하기위한 USE 명세어의 확장

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

42
최약 선행 조건을 이용한 다중 버전 소프트웨어에서의 공동 모드 고장 검출

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

43
컬러드 페트리네트를 이용한 지능망 서비스의 모델링 및 검증

권용래; 차성덕, 차세대 지능망 학술대회, 1996

44
트리 구조에 대한 효율적인 버전 관리 방법

권용래; 최진희, 한국정보과학회 학술발표논문집, 1996

45
파스칼 프로그램용 정적 분석 도구(PASCAN) 개발

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

46
패턴을 바탕으로 한 객체 지향 설계

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

47
페트리 네트를 이용한 서비스 특징의 모델링 및 서비스 상호작용의 검사

권용래, 제 4회 통신정보 합동 학술대회 논문집, 1994

48
프로그램 명세를 위한 Pseudo Code Processor의 개발

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

49
프로그램 분할을 이용한 모듈 재구성 방법

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

50
프로그램 수행 경로와 자료흐름 정보를 모두 고려한 복잡도 척도에 관한 연구

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

51
프로그램 에디팅 환경에서의 점진적 코드 생성 및 실행

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

52
프로그램을 재검증하기 위한 최소 경로 선택 방법

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

53
한글 요구 분석 시스템의 설계 및 구현

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

54
한글 철자 및 띄어쓰기 검사기 - 두가지 접근 방법 -

김길창; 송춘환; 강재우; 김연배; 최기선; 권용래, 한국정보과학회 추계학술대회, pp.595 - 598, 한국정보과학회, 1989

55
확장된 C CROSS REFERENCER의 설계 및 구현

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

56
회의 지원 시스템의 개발

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

Discover

rss_1.0 rss_2.0 atom_1.0