Formal performance analysis and simulation of UML/SysML models for ESL design.
Alexander ViehlTimo SchönwaldOliver BringmannWolfgang RosenstielPublished in: DATE (2006)
Keyphrases
- formal methods
- metamodel
- modeling language
- uml models
- simulation models
- artificial intelligence
- case study
- model driven
- mathematical models
- development process
- activity diagrams
- sequence diagrams
- modeling tool
- simulation model
- software architecture
- statistically significant
- database design
- software design
- complex systems
- design process
- platform independent
- software engineering
- object oriented
- unified modeling language
- user interface
- e learning