Sciweavers

Share
EWSA
2004
Springer

Correct Development of Embedded Systems

9 years 7 months ago
Correct Development of Embedded Systems
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language. The main contributions of the project are the definition of a useful subset of UML and some extensions, a formal dynamic semantics integrating all notations and a tool set for the validation of models based on this semantics.
Susanne Graf, Jozef Hooman
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where EWSA
Authors Susanne Graf, Jozef Hooman
Comments (0)
books