Message sequence charts와 statecharts간의 일관성 검사Consistency checking between Message sequence charts and statecharts
- Advisors
- 차성덕; 배두환; Cha, Sung-Deok; Bae, Doo-Hwan
- Description
- 한국과학기술원 : 전산학전공,
- Publisher
- 한국과학기술원
- Issue Date
- 2000
- Identifier
- 157542/325007 / 000983159
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학전공, 2000.2, [ v, 69 p. ]
- Keywords
스테이트차트; 일관성 검사; 언어 포함; Software engineering; Message Sequence Charts; Statecharts; Consistency checking; Language containment; 소프트웨어 공학; 메세지 시퀀스 차트
- 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.