DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kwon, Yong-Rae | - |
dc.contributor.advisor | 권용래 | - |
dc.contributor.author | Kang, Soon-Ju | - |
dc.contributor.author | 강순주 | - |
dc.date.accessioned | 2011-12-13T05:49:13Z | - |
dc.date.available | 2011-12-13T05:49:13Z | - |
dc.date.issued | 1985 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=64583&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33610 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1985.2, [ [ii], 49, [9] p. ] | - |
dc.description.abstract | This thesis presents an experimental requirements analysis tool which features the main capabilities of automated tools and conceptual modeling ideas of the Structured Analysis(SA). Our system, Specification Language for Structured Analysis(SLSA)/Specification Processor(SP), adopts two layered schemes for formal representation of software requirements. The first layer is the step that constructs a conceptual model for a target system. For that purpose, a language(SLSA) based on the Entity-Realtionship approach has been designed. For methodological guidance, SLSA is linked to Structured Analysis(SA). The second layer is the step that constructs a database which stores the requirements expressed in SLSA. Prolog is used for this purpose. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | (A) prolog-based tool for analyzing software requirements | - |
dc.title.alternative | PROLOG에 기반을 둔 소프트웨어 요구분석용 도구 개발에 관한 연구 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 64583/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000831502 | - |
dc.contributor.localauthor | Kwon, Yong-Rae | - |
dc.contributor.localauthor | 권용래 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.