Elena Planas
Cím
Hivatkozott rá
Hivatkozott rá
Év
Verifying action semantics specifications in UML behavioral models
E Planas, J Cabot, C Gómez
International Conference on Advanced Information Systems Engineering, 125-140, 2009
322009
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage.
E Planas, J Cabot, C Gómez
MtATL@ TOOLS, 1-9, 2011
192011
How are UML class diagrams built in practice? A usability study of two UML tools: Magicdraw and Papyrus
E Planas, J Cabot
Computer Standards & Interfaces 67, 103363, 2020
182020
Lightweight verification of executable models
E Planas, J Cabot, C Gómez
International Conference on Conceptual Modeling, 467-475, 2011
182011
Designing game-like activities to engage adult learners in higher education
A Mora, E Planas, J Arnedo-Moreno
Proceedings of the fourth international conference on technological …, 2016
162016
Extracting software product line feature models from natural language specifications
A Sree-Kumar, E Planas, R Clarisó
Proceedings of the 22nd International Systems and Software Product Line …, 2018
122018
Analysis of feature models using alloy: A survey
A Sree-Kumar, E Planas, R Clarisó
arXiv preprint arXiv:1604.00349, 2016
122016
Lightweight and static verification of UML executable models
E Planas, J Cabot, C Gómez
Computer Languages, Systems & Structures 46, 66-90, 2016
102016
Opinion mining on educational resources at the open university of Catalonia
I Guitart, J Conesa, L Villarejo, À Lapedriza, D Masip, A Pérez, E Planas
2013 Seventh International Conference on Complex, Intelligent, and Software …, 2013
102013
The DBLP case study
E Planas, A Olive
92006
Alf-Verifier: an eclipse plugin for verifying Alf/UML executable models
E Planas, D Sanchez-Mendoza, J Cabot, C Gómez
International Conference on Conceptual Modeling, 378-382, 2012
82012
Reverse Engineering of OO constructs in Object-Relational Database Schemas
J Cabot, C Gómez, E Planas, ME Rodríguez
Jornadas de IngenierÃa del Software y Bases de Datos 20 (49), 134, 2008
72008
Lightweight Executability Analysis of Graph Transformation Rules
E Planas, J Cabot, C Gómez, E Guerra, J De Lara
2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 127-130, 2010
52010
A framework for verifying uml behavioral models
E Planas
CAiSE Doctoral Consortium, 2009
52009
Verifying action semantics specifications in UML behavioral models (Extended version)
E Planas, J Cabot, C Gómez Seoane
32009
Verificación de la ejecutabilidad de operaciones definidas con Action Semantics
E Planas, J Cabot, C Gómez
Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de …, 2008
22008
PeLP: Plataforma para el Aprendizaje de Lenguajes de Programación
X Baró, D Masip, E Planas, J Minguillón
Jornadas de Enseñanza Universitaria de la Informática (19es: 2013: Castelló …, 2013
12013
Towards a model-driven approach for multiexperience AI-based user interfaces
E Planas, G Daniel, M Brambilla, J Cabot
Software and Systems Modeling 20 (4), 997-1009, 2021
2021
Validating Feature Models With Respect to Textual Product Line Specifications
A Sree-Kumar, E Planas, R Clarisó
15th International Working Conference on Variability Modelling of Software …, 2021
2021
Introducción de una herramienta OCL en la asignatura de Ingeniería de Requisitos
L Burgueño, JLC Izquierdo, E Planas, J Cabot
Actas de las Jenui 6, 35-42, 2021
2021
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20