Transformation and Verification of System Scenarios
碩士 === 國立高雄第一科技大學 === 系統與控制工程研究所 === 95 === For the requirement development of system software, it is focused on how to realize its design goals, functions and constraints. To describe the requirement, the scenario–based specification in UML is effective and meaningful. Because of insufficient chara...
Main Authors: | Bo-Shiun Lee, 李博勛 |
---|---|
Other Authors: | Haw-Ching Yang |
Format: | Others |
Language: | zh-TW |
Published: |
2007
|
Online Access: | http://ndltd.ncl.edu.tw/handle/06350153239056984215 |
Similar Items
-
Design Improvement of the Material Processing System of New Rapid Prototyping Equipment
by: Bo-Shiun Zhang, et al.
Published: (2012) -
Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL)
by: Bharvi Chhaya, et al.
Published: (2018-01-01) -
FDT-based Timed Protocol Verification
by: Shiun-Wei Lee, et al.
Published: (1994) -
Design and Scenario Verification of Grid Management System in Power Grid Enterprise
by: PEI Luyao
Published: (2020-12-01) -
A Study of Speaker Verification System
by: Wei-Hsun Huang, et al.
Published: (2008)