http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이윤수(Yun-Soo Lee),윤경섭(Kyeong-Seob Yun),왕창종(Chang-Jong Wang) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
소프트웨어 콤포넌트의 재사용에 있어 사용자의 요구 사항에 완전히 부합되는 콤포넌트를 검색하거나, 부합되는 콤포넌트를 검색할 수 없을 경우에 가능한 그에 유사한 콤포넌틀들을 검색하기 위해서는 적절한 기준에 의해서 콤포넌트들이 분류되어 있어야만 한다. 본 논문에서는 분류 방법으로 재사용 가능한 콤포넌트들을 일정한 기준에 따라 크게 4개의 모듈(template, module, package, program)로 구분한 다음, 계층적인 분류 방법인 enumerative scheme에 의해서 소프트웨어 콤포넌트들을 분류하여 재사용률을 증가시키는데 도움을 주게 하였다.
래피드 프로토타이핑 기법을 이용한 프로토타입 시스템 설계에 관한 연구
신현철(Hyun-Cheol Shin),윤경섭(Kyeong-Seob Yun),왕창종(Chang-Jong Wang) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
래피드 프로토타이핑(rapid prototyping)은 적은 비용으로 소프트웨어 라이프 사이클의 초기에 소프트웨어 프로토타입을 생성키 위한 기법을 말한다. 본 연구에서는 래피드 프로토타이핑 기법을 요구 분석 단계에 도입하여 소프트웨어 프로토타입 시스템인 PDS(Prototype Design System)를 구축한다. 이 시스템은 첫째, 요구 명세를 목적 프로그래밍 언어로 변환하기 위한 중간 단계인 구조적 변환표를 생성하고 둘째, 변환표에서 요구의 비형식 명세를 번역하며 셋째, 변환표를 목적 프로그램 구조의 프로토타입으로 변환하는 작업을 한다.
조병규(Byeng-Gyw Jo),윤경섭(Kyeong-Seob Yun),왕창종(Chang-Jong Wang) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
오류수정은 프로그램의 검증후에 오는 과정으로 프로그램의 테스트, 안정화, 오류위치 지정, 그리고 오류를 수정하는 단계로 구분할 수 있다. 본 논문은 이들과정중 오류위치 지정을 도와주는 시스템 ELS(Error-Locating System)를 설계 하였으며, ELS는 기존의 오류지정 시스템들과 다르게 프로그램의 구조를 종속 네트워크로 표현해서 오류위치 추론에 이용하였다. ELS는 오류위치 지정방법에 연역추리와 후진추론법을 혼용하였으며, 이것의 추론형태는 숙련된 프로그래머가 직관적으로 하는 행동을 추상화 해서 만든 것이다.
엄기인(Ki In Um),윤경섭(Kyeong Seob Yun),왕창종(Chang Jong Wang) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
추상 자료 형은 신뢰성 있는 소프트웨어 개발을 위한 믿을만한 도구로 각광을 받고 있으며, 추상 자료 형을 나타내는 일반적인 방법은 대수적 방법이다. 본 논문에서는 추상 자료 형의 정확성을 증명하기 위해 몇가지 기본이 되는 개념을 정의하고, 이 정의를 이용하여 추상 자료 형의 대표적 예인 큐(queue)의 정확성을 증명한다.
Component 라이브러리를 이용한 소프트웨어 재사용에 관한 연구
김남용(Nam-Yong Kim),윤경섭(Kyeong-Seob Yun),왕창종(Chang-Jong Wang) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
그 동안 우리는 소프트웨어 생산성을 위하여 많은 노력을 기울여 왔으나 급격히 증가하는 소프트웨어의 수요를 충족시키지 못하고 있다. 따라서 기존의 소프트웨어를 재사용함으로써 개발 인력을 줄이고 개발 기간을 단축시킬 수 있으며 소프트웨어 신뢰도를 향상시킬 수 있다. 본 논문에서는 재사용 가능한 소프트웨어 모듈들을 부품화 하여 Component 라이브러리에 저장하여 프로그램 작성시 필요한 부품들을 재사용하는 시스템의 가능성을 제시하였다.
자료 흐름도의 오류 검증 및 설계 지원 도구에 관한 연구
김영민(Young-Min Kim),윤경섭(Kyeong-Seob Yun),왕창종(Chang-Jong Wang) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
본 연구는 소프트웨어 요구 분석 방법의 하나인 구조적 분석 기법의 오류를 검증하고, 설계시 분석의 결과인 자료 흐름도로 부터 응집도와 결합도의 개념을 적용하여 설계자에게 우수한 모듈을 결정할 수 있도록 도움을 제공하는 도구를 연구하였다. 도구는 개체를 요구 사항의 기술 및 처리 단위로 하여 개발 초리 단계를 부분적으로 자동화하여 초기 단계의 부주의로 인한 오류를 제거하여 우수한 소프트웨어 구조를 생성하여 유지 보수를 용이하게 한다.
Timed Marked Graph를 이용한 성능 평가에 관한 연구
신주선(Joo-Sun Shin),윤경섭(Kyeong-Seob Yun),왕창종(Chang-Jong Wang) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
본 논문은 페트리네트(petrinet)의 부분집합인 MG(Marked Graph)에 시간의 정보를 추가시킨 timed MG의 성능평가에 대한 알고리즘을 제시한다. 이 timed MG의 최대 성능을 구하는 문제는 NP-hard 문제이므로 제한된 MG로부터 시작, 일반적인 MG로 확장시키므로써 polynomial bounded한 알고리즘을 구한다.
모듈 생성의 자동화를 위한 설계 지원 도구에 관한 연구
원종호(Jong-Ho Won),윤경섭(Kyeong-Seob Yun),왕창종(Chang-Jong Wang) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
본 논문은 구조적 설계의 품질 기준인 응집도-결합도 개념을 모듈 생성 과정에 적용하여 자료 흐름도를 효과적으로 분할함으로써 보다 높은 응집도를 갖는 모듈을 생성하고, 생성된 모듈들로 구성되어질 소프트웨어 구조의 품질을 정량적으로 제공함으로써 설계자에게 우수한 소프트웨어 구조를 생성할 수 있도록 지적인 도움을 제공하는 설계 지원 도구(DAT)를 구현한다. DAT는 자료 흐름도를 기계 처리할 수 있도록 표현하는 언어와 언어 처리기(DRL/DRA), 그리고 모듈 생성기(DMG)로 구성된다.
GDL 언어를 이용한 소프트웨어 유지보수 도구 개발에 관한 연구
이교준(Kyo-Joon Lee),윤경섭(Kyeong-Seob Yun),왕장종(Chang-Jong Wang) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
큰 규모의 소프트웨어 시스템은 보통 많은 다른 종류의 소프트웨어 요소들로 구성되어 있다. 즉 모듈, 명령 프로시듀어, 데이터 화일 등으로 구성된다. 이와같은 시스템들은 수정 및 유지보수 하기가 매우 어려운데 그것은 시스템의 복잡성과 전체 시스템의 구조, 구성요소 그리고 구성요소간의 연관성에 관한 부정확한 명세 등의 이유 때문이다. 본 연구에서는 소프트웨어 라이프 사이클 정보의 기본적인 특성들 즉 제어흐름, 자료흐름, 자료구조를 명세하기 위하여 Graph Description Language (GDL)를 사용하였다. 소프트웨어 구성요소의 상호 연관성을 기술하는 명세언어의 일종인 GDL은 프롤로그의 절(clauses)들로 변환 되어지며 소프트웨어의 수정 및 유지보수를 쉽게 할 수 있는 도구를 개발하였다.
구조적 명세를 이용한 래피드 프로토 타이핑에 관한 연구
최준일(Joon-il Choi),이세훈(Sei-Hoon Lee),윤경섭(Kyeong-Seob Yun),왕창종(Chang-Jong Wang) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.2
본 논문에서는 구조적 명세서의 요구사항을 명세하기 위한 요구명세 언어를 설계하고, 구조적 명세로 부터 프로토타입을 생성하여 명세된 소프트웨어의 적합 여부를 사용자에게 인증(Validation) 받는 프로토타이핑 시스템을 구축하였다. 이 프로토타이핑 시스템은 요구 명세 편집기, 요구 명세 분석기, 요구 명세 변환기 프로토타입 실행기로 구성된다. 본 논문에서는 이 프로토타이핑 시스템을 구현함에 있어서 논리 프로그래밍언어인 프롤로그를 사용하였다.