Language Specific Analysis of State Machine Models of Reactive Systems
Model Driven Development (MDD) is a paradigm introduced to overcome the complexities of modern software development. In MDD we use models as a primary artifact that is being developed, tested and refined, with code being a result of code generation. Analysis and verification of models is an importan...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en en |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1974/12249 |