Exploració per autor "Gómez Seoane, Cristina"Més informacióMés informació

Ara es mostren els items 43-44 de 44

    • 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'editorial
      MDD 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) ...

    • Verifying action semantics specifications in UML behavioral models (Extended version) 

      Planas, Elena; Cabot, Jordi; Gómez Seoane, Cristina (2009-03)
      Report de recerca
      Accés obert
      MDD 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) ...