Lightweight and static verification of UML executable models

E Planas Hortal - 2013 - upcommons.upc.edu
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 …
相关文章

Lightweight and static verification of UML executable models

EP Hortal - 2013 - dialnet.unirioja.es
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 …
[PDF] core.ac.uk

[PDF][PDF] UML Executable Models

E Planas - core.ac.uk
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 …