|
This course gives a broad but solid introduction to software modeling approaches, specifically, Model-Driven Architecture (MDA). We cover various aspects of MDA and consider its applications in different domains. All theoretical concepts are accompanied with practical real-world examples. The goal is to empower students to design complex software that performs reliably and correctly. After taking this course, a student will be able to design software and analyze its properties using MDA, specifically to:
-
Start the process of creating a formal specification;
-
Formulate a problem formally;
-
Deal with appropriate abstractions;
-
Build and manipulate models, and to
-
Integrate MDA with existing system development processes.
|
