Exploració per autor "Cabot Sagrera, Jordi"
Ara es mostren els items 18-18 de 18
-
Verifying action semantics specifications in UML behavioral models
Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer Verlag, 2009)
Text en actes de congrés
Accés restringit per política de l'editorialMDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) ...