http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
다중 프로그램 View를 제공하기 위한 명세어의 설계 및 구현
조영순(Y S Cho),권용래(Y R Kwon) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
본 연구에서는 구조 지향적 환경에서 프로그램의 내부 표현인 AST로부터 다중의 view를 제공하기 위한 unparsing 명세어를 제안하고, 그의 처리기인 unparser의 구현에 대해 논의한다. AST 구조로부터 문자 형태의 화면 정보를 얻어내는 과정을 unparsing이라 한다. Unparsing 명세어는 view의 정의를 모듈화하고, AST의 조작을 선언적인 방법으로 할 수 있게 한다. Unparser의 구현에서는 명세의 내부 표현과, 중간 과정에서 산출되는 정보를 저장하는 unparsing buffer의 효율성을 고려하였다.
김영주(Y J KIM),최진희(Jinee Choi),권용래(Y R Kwon) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1
본 논문에서는 구조 지향적 에디터를 사용하여 프로그램을 작성하는 환경에서의 효율적인 타입 검사기를 개발하였다. Attribute grammar에 기초한 이 타입 검사기는 심볼의 선언 부분과 사용 부분 사이에 링크를 사용함으로써 대화식 환경에서 중요한 효율성을 개선하였으며, 심볼 테이블의 구조를 심볼의 선언과 사용 사이에서 나타날 수 있는 anomaly에 관한 정보를 제공할 수 있도록 재구성하였다.
김현수(H. S. Kim),권용래(Y. R. Kwon) 한국정보과학회 1991 한국정보과학회 학술발표논문집 Vol.18 No.2
기존의 텍스트 기반 컴퓨터 언어를 이용한 프로그래밍 과정은 컴퓨터에 익숙하지 않은 사람들에게 여러 어려운 점을 일으키게 하였다. 이런 것을 해결하고자 프로그래밍 과정에 말이나 글보다 의미 전달이 쉬운 그림을 이용하는 시각적 프로그래밍 언어가 등장하게 되었다. 본 논문에서는 프로그래밍 과정에 그래피컬한 표현인 아이콘을 이용하는 아이코닉 언어를 설계하였다. 이 언어는 컴퓨터를 이용한 학습에 활용할 수 있는 기초적인 컴퓨터 언어이다. 이를 위하여 프로그램의 논리와 데이타 구조를 시각화할 수 있는 언어를 설계하였고, 사용자 인터페이스도 직접 처리 방식을 지원하며 또한, 계산 과정에 애니메이션 방법을 이용한 동적인 설명 과정을 도입하여 사용자인 국민학생들이 쉽게 이해할 수 있도록 하였다.
최재훈(J.H Choi),권용래(Y.R Kwon) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.2
본 논문에서는 소프트웨어 개발주기 중 설계, 구현 및 결합, 그리고 형상 관리 단계들을 소프트웨어 시스템의 내부 표현인 확장 시스템 그래프 (Augmented System Graph)를 이용하여 지원할 수 있는 방법에 관하여 논의한다. 이를 위하여 소프트웨어 시스템의 구성 내용을 기술하기에 적합한 모듈 접속 언어를 정의하였고, 각 모듈들이 공통적으로 관계하고 있는 시스템 구조, 모듈간 접속 정보를 시스템 설계의 도구인 모듈 접속 언어로부터 추출하여 시스템의 공통의 내부 표현인 시스템 그래프를 이용하여 관리하도록 하였다.
지능망 서비스를 기술하기 위한 형식 명세 언어 Z의 확장
강흠근(H. G Kang),권용래(Y R Kwon) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.1
새로운 지능망 서비스에 대한 요구가 증가함에 따라 미리 정의된 블럭들을 재사용하여 새로운 서비스를 개발하는 것이 유용한 방법으로 등장하였다. 이와 같은 이유로 인하여 블럭들을 엄밀하게 정의하는 것이 매우 중요하게 되었다. 본 논문에서는 서비스를 엄밀하게 기술하기 위해서 형식 명세 언어 Z에 history 개념을 도입하여 새로운 형식 명세 언어 Zt를 정의하였다. 그리고 CCITT에서 정의한 블럭들을 Zt로 기술하여 그 유용성을 살펴 보았다.
모듈 접속 언어를 이용한 소프트웨어 구축의 정적 분석과 Makefile의 생성
이완권(W K Lee),권용래(Y R Kwon) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
본 논문에서는 새로운 모듈 접속 언어 MILV를 중심으로, configuration 제어의 지원과 소프트웨어 구축의 정적 분석을 통한 설계 단계와 연계, 그리고 Makefile 생성을 통한 manufacturing 과정의 수행 단계를 연계하여, 소프트웨어의 접속 문제를 단일의 메카니즘으로 해결하는 하나의 방법을 제시할 목적으로 MILV/MILSA를 설계하고 구현하였다. MILSA는 MILV 분석기, 정적 분석기, Makefile 생성기, 그리고 데이타 베이스로 구성되어 있다.
직접 조작 방식의 사용자 인터페이스를 제공하기 위한 USE 명세어의 확장
박찬정(C J Park),권용래(Y. R Kwon) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.1
대화 모델은 사용자와 컴퓨터 시스템 간의 대화 구조를 기술하는 데 사용된다. 본 논문에서는 User Software Engineering(USE) 기법에서 사용되는 상태 전이도인 USE 다이어그램을 대화 모델로 하여, 이를 텍스트 형태의 USE 명세어로는 처리하지 못했던 원도우의 생성, 화면, 버튼, 메뉴 항목, 마우스 제어 등의 직접 조작 방식의 사용자 인터페이스를 제공하도록 USE 명세어를 확장하였다. 그리고 확장된 USE 명세어를 위한 처리기를 구현하였다.
Assertion 기법의 소프트웨어 요구 분석 과정에의 응용 연구
차신(S. Cha),신윤식(Y.S. Shin),권용래(T.R. Kwon) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
본 연구에서는 요구 명세의 신뢰성을 제고시키기 위하여 요구 분석 과정에 assertion 기법을 도입하였다. assertion 언어는 개체-관계(entity-relation) 모델과 술어 논리 연산(predicate calculus)에 기초하여 설계되었으며, 명세 언어에 assertion 기능을 추가시키는 형태로 고안되었다. 이 assertion 언어를 실행하기 위한 assertion 처리기를 구현하여 기존의 요구 분석 시스템에 포함시킴으로써 이 방법의 실용 가능성을 보였다.
재사용을 위한 소프트웨어 부품의 분류 및 검색 방법 연구
장명섭(M.S Chang),권용래(Y R Kwon) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.2
소프트웨어 컴포넌트들을 저장하고 검색하는 것은 소프트웨어 재사용을 위한 가장 기본적인 기능이다. 본 논문에서는 컴포넌트들을 분류하기 위한 방법으로 enumerative 분류체계와 facet 분류체계를 결합한 새로운 분류 체계를 제안하였으며, 검색 방법으로는 사용자 질의어(query)에 의한 방법과 컴포넌트들의 계층구조를 사용자가 직접 탐색하여 원하는 컴포넌트를 찾는 브라우징(browsing)에 의한 방법을 사용하였다. 또한 이와 같은 분류 방법과 탐색 방법을 구현하여 재사용을 위한 소프트웨어 컴포넌트 검색 시스템을 개발하였다.
자료흐름도로부터 실행가능한 명세를 작성하기 위한 명세 언어의 설계 및 구현
함경수(K S. Ham),권용래(Y. R Kwon) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
본 논문에서는 자료흐름도가 표현하는 프로세스들 사이의 비동기적인 병렬 수행을 자연스럽게 기술할 수 있으며, Large Grain Data Flow 모델의 제약점을 해결할 수 있는 Message Passing 기법의 수행 모델을 제안하였다. 그리고 이러한 수행 모델에 기반을 두며 UNIX C Shell 상에서 실행되는 수행 가능한 요구 명세 언어 ESPL(Executable SPecification Language)을 설계하였고, 4.2 BSD UNIX 시스템에서 ESPL로 기술된 요구 명세의 수행을 위한 환경을 구현하였다.