DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Park, Sung-Joo | - |
dc.contributor.advisor | 박성주 | - |
dc.contributor.author | Choo, Chul-Ho | - |
dc.contributor.author | 추철호 | - |
dc.date.accessioned | 2011-12-14T06:03:26Z | - |
dc.date.available | 2011-12-14T06:03:26Z | - |
dc.date.issued | 1987 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65935&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/44784 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 경영과학과, 1987.2, [ [vii], 79, [1] p. ] | - |
dc.description.abstract | To determine whether a software is correct, attention must be focused on the problem of specifying precisely what it is intended to do. It was noted that many of the problems with systems were not the programmers`` fault but the fault of the specifiers. Although it is doubtable to believe that the specifications are perfectly correct, the correctness of specifications can be improved to some extent by providing interface correctness. Interface correctness is a property of system which results in the ability to perform a function without ambiguity. The interface correctness can be achieved by using control structures based on six axioms of AXES, the specification language of Higher Order Software(HOS). That is, once parent``s inputs or outputs are determined and a control structure is defined, the inputs or outputs of offsprings can be defined automatically, unlike any other techniques (e.g., PSL/PSA) of data flow analysis. This can reduce some specifier``s faults. The purpose of this thesis is to provide the specification language considering interface correctness. The implementation is done by using Information System Language Definition Manager (ISLDM) and System Encyclopedia Manager (SEM), and Report Specification Interface (RST) can be used to support the automatic checking of the interface. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | (An) automated tool for the interface correctness in software design | - |
dc.title.alternative | 소프트웨어 디자인에서의 인터페이스 정확성을 위한 자동화 도구 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 65935/325007 | - |
dc.description.department | 한국과학기술원 : 경영과학과, | - |
dc.identifier.uid | 000851523 | - |
dc.contributor.localauthor | Park, Sung-Joo | - |
dc.contributor.localauthor | 박성주 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.