Browsing School of Computing Graduate Theses by Author "Cordy, James R"
Now showing items 1-1 of 1
-
Synthesis and Verification of Models using Satisfiability Modulo Theories
Kahani, NafisehModel-driven development (MDD) advocates using models as the primary software development artifacts in place of source code. Automatic synthesis and verification of models are essential to simplify the process of creation ...