DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 권용래 | - |
dc.contributor.advisor | Kwon, Yong-Rae | - |
dc.contributor.author | 이종희 | - |
dc.contributor.author | Lee, Jong-Heui | - |
dc.date.accessioned | 2011-12-13T05:51:09Z | - |
dc.date.available | 2011-12-13T05:51:09Z | - |
dc.date.issued | 1987 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65685&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33742 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1987.2, [ ii, 53, [17] p. ] | - |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.title | 자료흐름도로부터 Vienna definition language 를 이용하여 실행 가능한 specification 을 구성하는 방법 | - |
dc.title.alternative | Constructing an executable specification from data flow diagrams using vienna definition language | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 65685/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000851321 | - |
dc.contributor.localauthor | 권용래 | - |
dc.contributor.localauthor | Kwon, Yong-Rae | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.