UML-based Verification of Semantic Finite State Machine
碩士 === 大同大學 === 電機工程研究所 === 92 === Unified Modeling Language (UML) provides a simple and easy tool for the specification and requirement of systems. It is rapidly becoming an industrial standard for object-oriented modeling and analysis. According to its flexibility, this thesis adopts UML to build...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2004
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/30646345601178252034 |