Browsing School of Computing Graduate Theses by Author "Zurowska, Karolina"
Now showing items 1-1 of 1
-
Language Specific Analysis of State Machine Models of Reactive Systems
Zurowska, Karolina (2014-06-25)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 ...