Login / Signup
Enabling dynamic assertion-based verification of embedded software through model-driven design.
Giuseppe Di Guglielmo
Luigi Di Guglielmo
Franco Fummi
Graziano Pravadelli
Published in:
DATE (2012)
Keyphrases
</>
embedded software
model driven
metamodel
model driven engineering
case study
model driven development
user interface
data driven
service oriented
embedded systems
platform independent
software engineering
design patterns
sequence diagrams
artificial intelligence
database systems
information systems