Integrating model checking and UML based model-driven development for embedded systems.
Zamira DawRance CleavelandMarcus VetterPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
- model checking
- embedded systems
- model driven development
- software systems
- modeling language
- model driven
- software development
- formal methods
- temporal logic
- software design
- metamodel
- software engineering
- model driven architecture
- model checker
- formal specification
- real time systems
- formal verification
- low cost
- business processes
- computation tree logic
- service oriented architecture
- verification method
- platform independent
- service oriented
- tool support
- business process
- data driven
- business applications
- software projects
- software components
- commercial software
- data management