http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 권용래(Yong Rae Kwon) (검색결과 79 건)
- 무료
- 기관 내 무료
- 유료
-
-
임용섭(Yong Seop Lim),차신(Cha Shin),권용래(Yong Rae Kwon) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.1
CASE환경에서 설계 기준에 적합한 좋은 구조도를 생성하려면 자료흐름도로부터 구조도를 자동 변환할 필요가 있다. 많은 CASE도구들이 자동변환기를 갖추고 있지만 그 결과들은 사람에 의한 수동적인 변환에 의한 구조도들과는 많은 차이가 있다. 수동적인 변환의 결과에 근접하는 구조도를 생성하기 위해서는 자료 흐름도의 의미적인 분석과 소프트웨어 설계 기준의 적용이 필요하다. 본 연구에서는 퍼지 개념에 기반을 둔 변환 분석을 위한 각 프로세스의 복잡도 메트릭을 정의한다. 그리고 설계 기준의 정량화된 척도를 제시하고 이를 구조도의 상세화에 사용하는 방법을 제시한다.
-
Attribute Grammar를 이용한 소프트웨어 Instrumentation 도구의 설계 및 구현
이용규(Yong Kyu Lee),권용래(Yong Rae Kwon) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1
본 논문에서는 Attribute Grammar를 이용하여 구조 테스팅을 위한 instrumentation 기법에서 필요로 하는 기능을 성취하기 위한 정형적 명세를 정의하였으며, 이로부터 파스칼 프로그램을 위한 instrumentation 도구(INSTRUMENT)를 구현하였다. INSTRUMENT에서는 대표적인 구조 테스팅 방법인 statement testing과 branch testing뿐만 아니라 condition testing과 path testing도 지원하도록 하였으며, abstract syntax tree를 프로그램의 내부 표현으로 사용함으로써 다른 syntax-directed한 도구를 즉, 에디터, 컴파일러, 자료 흐름 분석기, symbolic evaluation 도구 등과 효과적으로 통합되어 사용될 수 있도록 하였다. INSTRUMENT는 VAX 11.780의 4.2 BSD UNIX 시스템에서 파스칼 언어로 구현하였다.
-
분산 실시간 시스템에서의 선후관계를 고려한 태스크 할당
임용섭(Yong Seop Lim),권용래(Yong Rae Kwon) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B
실시간 처리 시스템은 지리적으로 분산된 다양한 주변 장치들과의 교류가 많기 때문에 일반적으로 분산 시스템에서 수행이 된다. 소프트웨어는 설계시에 분산 시스템에서 실행되기 위하여 여러 개의 태스크들로 나뉘어 프로세서들에 할당된다. 실시간 처리 시스템은 시스템의 정확한 작동뿐만 아니라 정해진 시간내에 실행을 마치는 것도 중요하다. 그런데 분산 시스템은 여러 프로세서들로 구성되고 이들은 메세지를 주고 받음으로써 실행 되므로 단일 처리 시스템과는 달리 실행시간을 쉽게 예측할 수 없다. 그러므로 실시간 시스템의 올바른 실행을 위해서는 처리 시간을 보장할 수 있는 태스크의 할당 방법이 필요하다. 이 논문에서는 처리 시간을 보장하는 태스크의 할당 방법을 제시한다. 프로그램 내에서의 태스크들의 병행과 선후 관계를 페트리 넷으로 표현하여 처리 시간을 계산한다. 그리고 병행 관계를 최대한 이용하도록 병행 수행 가능한 태스크들을 최대한 다른 프로세서에 할당한다. 예제를 통하여 논문에서 제시된 방법이 기존의 방법들보다 부하 조정(load balancing), 태스크간의 통신망(IPC) 등의 측면에서 효과적임을 보였다.
-
소프트웨어 재사용을 위한 COMPONENT의 식별에 관한 연구
이영곤(Young Gon Lee),권용래(Yong Rae Kwon) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
재사용 가능한 소프트웨어 component를 식별하기 위한 중요한 고려 사항은 사용자의 요구에 완전히 부합하는 component가 없을 경우 가능한 그에 유사한 component에 대한 정보를 제공할 수 있도록 하는 것이다. 본 논문에서는 재사용 가능한 component들 간의 관련성을 수평적 관점과 계층적 관점에서 표현할 수 있도록 함으로써 사용자의 요구에 비슷한 component를 식별하는 과정에서의 accuracy와 power를 향상시키도록 하였다. 이를 위해 enumerative scheme과 faceted scheme을 결합하여 소프트웨어 component들을 분류하였다. 또한 소프트웨어 component를 기술하는 데 사용되는 term들을 체계적으로 결정하고, 그 term들에 가중치를 부여함으로써 component에 대한 표현력을 향상시키고 아울러 component 식별의 정확성을 향상시켰다. 사용자 query를 구성함에 있어서는 meta-expression이나 partial descriptor등을 허용함으로써 사용자에게 편의를 제공하고자 하였다.
-
A Design ot an Experimental Programming Support System
최병일(Byoung Ill Choi),권용래(Yong Rae Kwon) 한국정보과학회 1984 한국정보과학회 학술발표논문집 Vol.11 No.2
We propose an experimental programming sup-port system in which development tools on one UNIX system and the User Software Engineering methodology are reorganized along the conventional development lite cycle model. We also added more tools to extend lite cycle coverage. The system provided a convenient user interidce via menu driven approach, which allows smoother transition between tools and pnases ot the development steps.
-
배현섭(Hyun Seop Bae),권용래(Yong Rae Kwon) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B
메시지 기반 병행 프로그램은 내재된 병행성과 비결정성 때문에 동일한 입력을 가지고 반복 수행했을 때 서로 다른 결과를 산출할 가능성이 있다. 따라서 디버깅과 테스팅을 위해서는 재수행성 보장 방법이 필수적이다. 재수행을 보장하기 위해서는 수행중에 발생한 비결정성을 재현할 필요가 있으므로 프로그램을 처음 수행할 때에 재수행을 대비해서 수행 도중에 발생하는 비결정성을 기록해야 한다. 이를 위해서 기록을 위한 코드를 프로그램 내에 삽입하는데 삽입된 코드들은 필연적으로 프로세스 수행을 지연시키고 프로그램의 원래 행동을 방해하는 문제를 가지고 있다. 그러므로 되도록 적은 양의 코드를 삽입하면서도 재수행성을 보장하는 방법이 필요하다. 이 논문에서는 프로그램에 대한 정적 분석을 통해서 얻은 정보를 기반으로 재수행성을 보장하는 방법을 제시한다. 이 방법은 정적 분석을 통해서 프로세스 내에 포함된 문장들의 병행 수행 가능성을 검증하고 이를 바탕으로 비결정성 발생 가능성을 탐지한다. 또한 정적 분석 결과를 바탕으로 비결정성이 발생 가능한 문장에 대해서만 기록 코드를 삽입한다. 이와 같은 방법으로 적은 양의 코드 삽입으로 재수행성을 보장할 수 있다.
-
이원우(Won-wu Yi),권용래(Yong Rae Kwon) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2
본 논문에서는 그룹웨어 접근 방법을 적용하여 개발한 회의 지원 시스템을 소개한다. 회의 지원 시스템이 지원해야 할 요구 사항의 분석과 시험적인 회의 지원 시스템 및 현재 개발 중인 회의 지원 시스템의 설계 및 구현을 소개하고 앞으로의 설계 방법을 논의한다.
-
김명호(Myung Ho Kim),권용래(Yong Rae Kwon) 한국정보과학회 1985 정보과학회논문지 Vol.12 No.2
본 논문에서는 새로운 모듈 접속 언어인 MILAN과, MILAN 프로그램의 처리기인 MILPRO의 설계 및 구현에 대하여 소개하였다. MILAN/MILPRO는 시스템의 모듈 간의 접속 관계를 그래픽 언어(I-Chart)를 통해서 모델링하고, 이를 MILAN프로그램으로 표현하도록 하고 있다. MILPRO는 MILAN프로그램을 분석하여 설계의 확인과 프로젝트 관리에 유용한 자료를 추출해 낼 수 있다. MILPRO는 기능상 MILAN컴파일러, MILAN 데이타 베이스 처리기, MILAN 도큐멘트 작성기와 MILAN 명령어 처리기 등의 네개의 처리기로 구성되어 있다. In this paper, we present a new module interconnection language, MILAN, and its processor, MILPRO. The interconnection relations of software modules are modelled using a graphic language (I-Chart) and are then represented as MILAN programs MILPRO analyzes MILAN programs and produces reports which can aid both the design validation and the project management. MILPRO consists of four distinct processors: MILAN compiler, MILAN data base processor, MILAN document generator and MILAN command processor.
-
데이타 흐름정보에 기반을 둔 소프트웨어 복잡도에 관한 연구
이성환(Seong Whan Lee),권용래(Yong Rae Kwon) 한국정보과학회 1986 정보과학회논문지 Vol.13 No.2
소프트웨어의 복잡도는 소프트웨어 프로젝트를 객관적이고도 정량적으로 제어할 수 있는 가장 유용한 척도로 볼 수 있다. 본 논문에서는 데이터 흐름 정보에 기반을 둔 새로운 소프트웨어 복잡도를, 확장된 프로그램 제어그래프 내에 포함될 수 있는 정의-사용 체인(definition-use chain)들의 최대수로 정의하였다. 또 위와 같이 정의된 복잡도의 특성을 고찰한 후, 실험 결과의 분석을 통하여 새로운 복잡도가 기존의 복잡도들에 비하여 여러 가지 장점을 가지고 있음을 보였으며 또한 입력 프로그램에 대하여 정의한 복잡도를 자동적으로 계산하여 주는 실험적인 도구를 구현하였다. Software complexity measures are believed to provide the most objective and quantitative means of controlling software projects. We propose a new complexity measure based on data flow information. This measure is defined as the maximum number of definition-use chains which can potentially be contained in an extended program control graph. The complexity measure thus defined has been found to possess improved characteristics over the existing complexity measures. A software tool which can compute the complexity measure for an input program written in C-like high level language has also been implemented.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
