Title: Formal Methods for Model-Driven Engineering
Subjects: Mathematical Logic and Formal Languages, Software Engineering/Programming and Operating Systems, Information Systems, Software engineering, Information Systems Applications (incl. Internet), Computer science, Management of Computing and Information Systems, Programming Languages, Compilers, Interpreters