Browsing by Author "Planas Hortal, Elena"
Now showing items 1-7 of 7
-
Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models
Planas Hortal, Elena; Sànchez Mendoza, David; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer, 2012)
Conference report
Open AccessIn this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design time. This tool suffices to check that the execution of the operations (specified in ... -
CUCKOO: una plataforma web para la verificación de modelos UML
Caballé Llobet, Santi; Cabot Sagrera, Jordi; Clarisó Viladrosa, Robert; Conesa Caralt, Jordi; Planas Hortal, Elena; Riera Terrén, Daniel (2009-06-15T08:51:23Z)
Conference report
Open AccessEn este artículo presentamos CUCKOO (QUality cheCKing of Object Oriented designs) una plataforma web para la verificación de diagramas de clases UML. Esta plataforma está orientada a facilitar el aprendizaje de las fases ... -
Disseny i implementació d'una eina per a l'obtenció d'esquemes conceptuals en UML a partir d'esquemes de BD objecte-relacionals
Planas Hortal, Elena (Universitat Politècnica de Catalunya, 2007-06-27)
Master thesis (pre-Bologna period)
Open Access -
Lightweight and static verification of UML executable models
Planas Hortal, Elena (Universitat Politècnica de Catalunya, 2013-03-21)
Doctoral thesis
Open AccessExecutable 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 ... -
Lightweight and static verification of UML executable models
Planas Hortal, Elena; Cabot, Jordi; Gómez Seoane, Cristina (2016-11)
Article
Open AccessExecutable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development. This is possible because executable models promote ... -
Verifying action semantics specifications in UML behavioral models
Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer Verlag, 2009)
Conference report
Restricted access - publisher's policyMDD 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 consistency between structural and behavioral schemas in UML
Planas Hortal, Elena (Universitat Politècnica de Catalunya, 2008-06-25)
Master thesis
Open Access