서지주요정보
Computer-aided modeling tool for event graph simulation = 이벤트그래프 모의 실험 모형화를 위한 컴퓨터 도구
서명 / 저자 Computer-aided modeling tool for event graph simulation = 이벤트그래프 모의 실험 모형화를 위한 컴퓨터 도구 / On-Sok Shin.
발행사항 [서울 : 한국과학기술원, 1988].
Online Access 제한공개(로그인 후 원문보기 가능)원문

소장정보

등록번호

4105010

소장위치/청구기호

학술문화관(문화관) 보존서고

MMGS 8820

휴대폰 전송

도서상태

이용가능(대출불가)

사유안내

반납예정일

리뷰정보

초록정보

The following problems can occur in building an event graph simulation model; (1) computer-aided documentation is required (2) simulation system requirement and specification must be consistent and complete (3) computer-aided analysis is necessary. This study develops the Event graph Simulation Definition Language (ESDL) system which can aid (1) computer-aided documentation, (2) checking consistency and completeness for requirement and specification and (3) computer-aided analysis in the Event Graph simulation model. In addition to the analysis rules suggested by Schruben [SCHR 1983], this study also suggests Concurrent-Event Precedence analysis rule to analyze the Event Graph Simulation Model.

본 논문은 이벤트 그래프 모의 실험 (event graph simulation) 모형을 만드는 데 필요한 (1) 컴퓨터화된 다큐먼트 (2) 요구명세 (requirement and specification)의 완전성과 일관성 (completeness and consistency) (3) 컴퓨터화된 분석등의 문제를 해결 할 수있는 이벤트 그래프 모의 실험 정의 언어 (event graph simulation definition language) 시스템 개발을 목적으로 한다. 또한 Schruben이 제안한 4가지 분석 방법들에 덧붙여 동시 발생 이벤트 우선 순위 분석법(concurrent event procedence rule)을 제시한다.

서지기타정보

서지기타정보
청구기호 {MMGS 8820
형태사항 [iii], 42, [38] p. : 삽화 ; 26 cm
언어 영어
일반주기 Appendix : A, ERA of ESDL. - B, LDM definition of ESDL. - C, Relationship list in ESDL. - D, Specification of example. - E, Standard reports. - F, The results of checking consistency and completeness for example
저자명의 한글표기 : 신언석
지도교수의 영문표기 : Sung-Joo Park
지도교수의 한글표기 : 박성주
학위논문 학위논문(석사) - 한국과학기술원 : 경영과학과,
서지주기 Reference : p. 41-42
주제 Graph theory.
Modeling.
그래프. --과학기술용어시소러스
소프트웨어 공학. --과학기술용어시소러스
모형 (모델) --과학기술용어시소러스
Software engineering.
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서