Lightweight and static verification of UML executable models 

Planas Hortal, Elena (Date of defense: 2013-03-21)

Executable models play a key role in many development methods (such as MDD and MDA) by facilitating the immediate simulation/implementation of the software system under development. This is possible because executable ...