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

Additional URL

https://doi.org/10.1109/TASE.2009.63

Share

COinS