RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제
      • 좁혀본 항목 보기순서

        • 원문유무
        • 음성지원유무
          • 원문제공처
          • 등재정보
          • 학술지명
          • 주제분류
          • 발행연도
          • 작성언어
          • 저자

        오늘 본 자료

        • 오늘 본 자료가 없습니다.
        더보기
        • 무료
        • 기관 내 무료
        • 유료
        • 자료 흐름도에서 구조도로의 자동 변환에 관한 연구

          임용섭(Yong Seop Lim),차신(Cha Shin),권용래(Yong Rae Kwon) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.1

          CASE환경에서 설계 기준에 적합한 좋은 구조도를 생성하려면 자료흐름도로부터 구조도를 자동 변환할 필요가 있다. 많은 CASE도구들이 자동변환기를 갖추고 있지만 그 결과들은 사람에 의한 수동적인 변환에 의한 구조도들과는 많은 차이가 있다. 수동적인 변환의 결과에 근접하는 구조도를 생성하기 위해서는 자료 흐름도의 의미적인 분석과 소프트웨어 설계 기준의 적용이 필요하다. 본 연구에서는 퍼지 개념에 기반을 둔 변환 분석을 위한 각 프로세스의 복잡도 메트릭을 정의한다. 그리고 설계 기준의 정량화된 척도를 제시하고 이를 구조도의 상세화에 사용하는 방법을 제시한다.

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

          임용섭(Yong Seop Lim),권용래(Yong Rae Kwon) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B

          실시간 처리 시스템은 지리적으로 분산된 다양한 주변 장치들과의 교류가 많기 때문에 일반적으로 분산 시스템에서 수행이 된다. 소프트웨어는 설계시에 분산 시스템에서 실행되기 위하여 여러 개의 태스크들로 나뉘어 프로세서들에 할당된다. 실시간 처리 시스템은 시스템의 정확한 작동뿐만 아니라 정해진 시간내에 실행을 마치는 것도 중요하다. 그런데 분산 시스템은 여러 프로세서들로 구성되고 이들은 메세지를 주고 받음으로써 실행 되므로 단일 처리 시스템과는 달리 실행시간을 쉽게 예측할 수 없다. 그러므로 실시간 시스템의 올바른 실행을 위해서는 처리 시간을 보장할 수 있는 태스크의 할당 방법이 필요하다. 이 논문에서는 처리 시간을 보장하는 태스크의 할당 방법을 제시한다. 프로그램 내에서의 태스크들의 병행과 선후 관계를 페트리 넷으로 표현하여 처리 시간을 계산한다. 그리고 병행 관계를 최대한 이용하도록 병행 수행 가능한 태스크들을 최대한 다른 프로세서에 할당한다. 예제를 통하여 논문에서 제시된 방법이 기존의 방법들보다 부하 조정(load balancing), 태스크간의 통신망(IPC) 등의 측면에서 효과적임을 보였다.

        • 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 시스템에서 파스칼 언어로 구현하였다.

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

          배현섭(Hyun Seop Bae),권용래(Yong Rae Kwon) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B

          메시지 기반 병행 프로그램은 내재된 병행성과 비결정성 때문에 동일한 입력을 가지고 반복 수행했을 때 서로 다른 결과를 산출할 가능성이 있다. 따라서 디버깅과 테스팅을 위해서는 재수행성 보장 방법이 필수적이다. 재수행을 보장하기 위해서는 수행중에 발생한 비결정성을 재현할 필요가 있으므로 프로그램을 처음 수행할 때에 재수행을 대비해서 수행 도중에 발생하는 비결정성을 기록해야 한다. 이를 위해서 기록을 위한 코드를 프로그램 내에 삽입하는데 삽입된 코드들은 필연적으로 프로세스 수행을 지연시키고 프로그램의 원래 행동을 방해하는 문제를 가지고 있다. 그러므로 되도록 적은 양의 코드를 삽입하면서도 재수행성을 보장하는 방법이 필요하다. 이 논문에서는 프로그램에 대한 정적 분석을 통해서 얻은 정보를 기반으로 재수행성을 보장하는 방법을 제시한다. 이 방법은 정적 분석을 통해서 프로세스 내에 포함된 문장들의 병행 수행 가능성을 검증하고 이를 바탕으로 비결정성 발생 가능성을 탐지한다. 또한 정적 분석 결과를 바탕으로 비결정성이 발생 가능한 문장에 대해서만 기록 코드를 삽입한다. 이와 같은 방법으로 적은 양의 코드 삽입으로 재수행성을 보장할 수 있다.

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

          채흥석(Heung Seok Chae),권용래(Yong Rae Kwon) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B

          클래스와 계승(inheritance)은 객체 지향 시스템의 가장 근본이 되는 개념이다. 클래스는 문제 범주내에 존재하는 실체에 대한 모델로서, 정보 은닉의 단위가 되기 때문에 시스템의 다른 부분에 미치는 영향을 최소화 시키면서 클래스에 대한 변경을 가능하게 한다. 클래스들 간의 계승은 클래스 사이에 존재하는 유사관계를 모델링함으로써 클래스의 재사용성과 확장성을 높이는데 기여한다. 그러나, 초기에 부적절하게 클래스와 계승관계를 설계하거나, 또는 유지보수 단계에서의 무계획적인 변경으로 인하여, 클래스와 계승관계가 바람직하지 않은 형태를 가지게 됨으로써 객체지향의 많은 장점을 살릴 수가 없게 된다. 따라서 클래스와 계승관계가 올바른 구조를 가질 수 있도록 재구성할 필요가 있다. 이 논문에서는 한 클래스에 대하여 클래스 응집도를 기반으로 한 평가를 하고 이 평가를 기반으로 한 재구성 방법을 제시하고자 한다.

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

          정기숙(Ki Sook Chung),권용래(Yong Rae Kwon) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.2B

          소프트웨어 디자인 패턴은 객체와 클래스 및 그들간의 상호작용을 구별해 냄으로써 설계자의 의도등을 파악해 낼수 있게 하며, 복잡한 시스템 설계의 기본적인 구성 단위를 제공한다. 뿐만 아니라, 추상화된 개념을 정의하고 이름을 부여함으로써 시스템의 복잡도를 감소시키며 소프트웨어 재사용을 위한 바탕을 제공한다. 이 논문에서는 이러한 패턴을 실제 시스템인 ATM(Automatic Teller Machine)의 설계에 이용하여, 이 방법이 설계의 구조 추출에 용이하고 제사용의 효과를 얻을 수 있음을 보인다. 대상 시스템에 적용 가능한 소프트웨어 패턴들을 찾아내고 그 패턴을 재사용하여 클래스와 인터페이스, 기능 등을 구체화하여 설계하는 과정을 보인다.

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

          최진희(Esther J. Choi),권용래(Yong Rae Kwon) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.1A

          본 논문에서는 트리 구조를 갖는 자료가 계속 변화할 때 변경 내용을 효율적으로 관리할 수 있는 버전 관리 방법을 제안한다. 제안된 방법은 변경에 대한 정보를 변경이 일어난 노드의 부모노드에 보관하고 트리는 최선의 상태를 유지함으로써 최신 트리 상태를 쉽게 구할 수 있다. 버전을 효율적으로 관리하기 위해 필요한 알고리즘들을 제시하며, 이를 다른 트리 버전 관리 방법과 비교 분석한다. 제안된 방법은 저장 공간과 수행 속도 측면에서 버전 관리를 위한 추가적인 비용이 거의 들지 않으며, 기존의 버전 관리 방법과 비교해 볼 때 더욱 효율적이다.

        • KCI우수등재

          모듈 접속 언어의 설계 및 구현

          김명호(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.

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

          홍형석(Hyoung Seok Hong),권용래(Yong Rae Kwon) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B

          객체 지향 방법론에서 가장 기본이 되는 개념인 클래스의 테스팅을 위해 여러 방법들이 제안되어 있다. 그러나 대부분의 제안된 방법들은 멤버 함수의 내부 기능만을 테스팅하기 때문에 클래스의 중요한 특성인 멤버와 멤버 함수간의 상호 작용을 잘 테스팅하지 못 하는 문제점이 있다. 본 논문에서는 멤버와 멤버 함수간의 상호작용을 테스팅할 수 있는 새로운 클래스 테스팅 방법을 제안하였다. 제안된 클래스의 테스팅은 기능적 테스팅 방법인 범주 분할 테스팅을 사용하여 각각의 멤버 함수들에 대한 테스트 데이타를 유출해 낸다. 이 때 멤버 함수의 기능적 명세가 필요하게 되는데 본 논문에서는 분석 및 설계 단계에서 클래스의 명세로서 많이 사용되는 유한 상태 기계를 사용하였다. 유한 상태 기계는 클래스의 멤버와 멤버 함수간의 상호 작용을 잘 모델링하지만 분석 및 설계 단계에서는 유한 상태 기계의 정의가 비정형적이므로 이를 테스팅에 사용하기 위해서 유한 상태 기계를 정형화시켰다.

        연관 검색어 추천

        활용도 높은 자료

        이 검색어로 많이 본 자료

        해외이동버튼