자료흐름도로부터 실행 가능한 명세를 작성하기 위한 명세 언어An executable specification language for constructing an executable specification from data flow digrams
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 권용래 | - |
| dc.contributor.advisor | Kwon, Yong-Rae | - |
| dc.contributor.author | 함경수 | - |
| dc.contributor.author | Ham, Kyung-Soo | - |
| dc.date.accessioned | 2011-12-13T05:52:53Z | - |
| dc.date.available | 2011-12-13T05:52:53Z | - |
| dc.date.issued | 1989 | - |
| dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=66783&flag=dissertation | - |
| dc.identifier.uri | http://hdl.handle.net/10203/33861 | - |
| dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1989.2, [ [ii], 37, [11] p. ] | - |
| dc.language | kor | - |
| dc.publisher | 한국과학기술원 | - |
| dc.title | 자료흐름도로부터 실행 가능한 명세를 작성하기 위한 명세 언어 | - |
| dc.title.alternative | An executable specification language for constructing an executable specification from data flow digrams | - |
| dc.type | Thesis(Master) | - |
| dc.identifier.CNRN | 66783/325007 | - |
| dc.description.department | 한국과학기술원 : 전산학과, | - |
| dc.identifier.uid | 000871471 | - |
| dc.contributor.localauthor | 권용래 | - |
| dc.contributor.localauthor | Kwon, Yong-Rae | - |
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.