Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
7-2009
Abstract
System modeling is important and highly non-trivial. The choice of specification language is an important factor in the success of the entire development. The language should cover several facets of the requirements and the model should precisely capture (up to abstraction of irrelevant details) an existing system or a system to be built. The language should have a semantic model suitable to study the behaviors of the system and to establish the validity of desired properties. A formal model can be the basis for a variety of system development activities, e.g., system simulation, visualization, verification or prototype synthesis.
Discipline
Programming Languages and Compilers | Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, July 29-31
First Page
9
Last Page
9
ISBN
9780769537573
Identifier
10.1109/TASE.2009.63
Publisher
IEEE
City or Country
Tianjin, China
Citation
DONG, Jin Song and SUN, Jun.
Towards expressive specification and efficient model checking. (2009). Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, July 29-31. 9-9.
Available at: https://ink.library.smu.edu.sg/sis_research/5043
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1109/TASE.2009.63