MODELSWARD C

81 papers

YearTitle / Authors
2014A Bottom Up SPL Design Method.
Jihen Maâzoun, Nadia Bouassida, Hanêne Ben-Abdallah
2014A Case Study of Combining Compositional and Object-oriented Software Development.
Enn Tyugu, Mait Harf, Pavel Grigorenko
2014A Deployment-oriented Development Process based on Context Variability Modeling.
Ka Chun Anthony Lee, Maria-Teresa Segarra, Stephane Guelec
2014A Domain Specific Language for Stepwise Design of Software Architectures.
Fabian Gilson, Vincent Englebert
2014A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model Mappings.
Luis Quesada, Fernando Berzal, Juan Carlos Cubero Talavera
2014A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.
Lucas Lima, Juliano Iyoda, Augusto Sampaio
2014A Framework for Model Recommenders - Requirements, Architecture and Tool Support.
Andrej Dyck, Andreas Ganser, Horst Lichter
2014A Graph-based Algorithm for Three-way Merging of Ordered Collections in EMF Models.
Felix Schwägerl, Sabrina Uhrig, Bernhard Westfechtel
2014A Language for Enabling Model-Driven Analysis of Business Processes.
Paolo Bocciarelli, Andrea D'Ambrogio, Emiliano Paglia
2014A Model-based Tool for Generating Software Process Model Tailoring Transformations.
Luis Silvestre, María Cecilia Bastarrica, Sergio F. Ochoa
2014A New Flexible Method for Advising Metamodel Matching.
Lamine Lafi, Jamel Feki, Slimane Hammoudi
2014A Novel Approach to Versioning and Merging Model and Code Uniformly.
Omar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward
2014A Pattern Language for Use Case Modeling.
António Miguel Rosado da Cruz
2014A Recipe for Tool Interoperability.
Andreas Baumgart, Christian Ellen
2014A Test-Driven Approach for Developing Software Languages.
Omar Bahy Badreddin, Andrew Forward, Timothy C. Lethbridge
2014An Approach based on SysML and SystemC to Simulate Complex Systems.
Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët
2014An Approach to Class Diagram Design.
Elena Chebanyuk
2014An Aspect-Oriented Model Transformation to Weave Security using CVL.
José Miguel Horcas, Mónica Pinto, Lidia Fuentes
2014An EMF-based Toolkit for Creation of Domain-specific Data Services.
Andreas Bender, Stefan Bozic, Ivan Kondov
2014An Industrial Case Study on using Language Workbench Technology for Realizing Model-Driven Engineering.
Xi Zhu, Congchi Phung, Lars Pareto, Staffan Ehnebom, Mikael Krekola, Magnus Christerson, Mats Helander
2014Analysis and Validation of AUTOSAR Models.
Julian Kienberger, Pascal Minnerup, Stefan Kuntz, Bernhard Bauer
2014Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study.
Mert Ozkaya, Christos Kloukinas
2014Automated Composition of Sequence Diagrams via Alloy.
Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles
2014Collaborative Editing of EMF/Ecore Meta-models and Models - Conflict Detection, Reconciliation, and Merging in DiCoMEF.
Amanuel Koshima, Vincent Englebert
2014Combining Test and Proof in MBAT - An Aerospace Case Study.
Michael Dierkes
2014Compiling Graph Transformation Rules into a Procedural Language for Behavioral Modeling.
Sabine Winetzhammer, Bernhard Westfechtel
2014Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment.
Omar Kacimi, Christian Ellen, Markus Oertel, Daniel Sojka
2014Defining Domain Specific Transformations in Human-Computer Interfaces Development.
Jean-Sébastien Sottet, Alain Vagner
2014Domain-specific Languages as Tools for Teaching 3D Graphics.
Jacek Kesik, Kamil Nowakowski, Kamil Zyla
2014Enhanced Code Generation from UML Composite State Machines.
Omar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward, Maged Elaasar, Hamoud Aljamaan, Miguel Garzón
2014Extending UML Testing Profile Towards Non-functional Test Modeling.
Federico Toledo Rodríguez, Francesca Lonetti, Antonia Bertolino, Macario Polo Usaola, Beatriz Pérez Lamancha
2014Formal Test-Driven Development with Verified Test Cases.
Bernhard K. Aichernig, Florian Lorber, Stefan Tiran
2014Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems.
José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Peter Gorm Larsen
2014Information Models and Transformation Principles Applied to Servitization of Manufacturing and Service Systems Design.
Carlos Agostinho, Hassan Bazoun, Gregory Zacharewicz, Yves Ducq, Hadrien Boyé
2014Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software.
Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio
2014Integrating Testing into Agile Software Development Processes.
R. van den Broek, Marcello M. Bonsangue, M. Chaudron, H. van Merode
2014Investigation and Evaluation of UML Action Languages.
Omar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward
2014Key Features for a Successful Model-Driven Development Tool.
Beatriz Marín, Andrés Salinas, Juan Morandé, Giovanni Giachetti, Jose Luis de la Vara
2014Limitations of Model Repositories.
Philippe Desfray
2014MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014
Luís Ferreira Pires, Slimane Hammoudi, Joaquim Filipe, Rui César das Neves
2014Model Composition for Biological Mathematical Systems.
Mandeep Gill, Steve McKeever, David Gavaghan
2014Model Matching for Model Transformation - A Meta-heuristic Approach.
Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui
2014Model-Based Systems Engineering Tools - Devoloping the GUILTE System.
Ana Luísa Ramos, José Vasconcelos Ferreira
2014Model-Driven GUI Generation and Navigation for Android BIS Apps.
Luís Pires da Silva, Fernando Brito e Abreu
2014Modeling of Tool Integration Resources with OSLC Support.
Weiqing Zhang, Birger Møller-Pedersen
2014Modelling Services for Interoperability Negotiation.
Carlos Coutinho, Adina Cretan, Ricardo Jardim-Gonçalves
2014Models in Software Architecture Derivation and Evaluation - Challenges and Opportunities.
Silvia Abrahão
2014Natural-language Scenario Descriptions for Testing Core Language Models of Domain-Specific Languages.
Bernhard Hoisl, Stefan Sobernig, Mark Strembeck
2014On Designing Recommenders for Graphical Domain Modeling Environments.
Andrej Dyck, Andreas Ganser, Horst Lichter
2014On Interaction in Data Mining.
Andreas Holzinger
2014On the Support of Multi-perspective Process Models Variability for Smart Environments.
Aitor Murguzur, Xabier De Carlos, Salvador Trujillo, Goiuria Sagardui
2014Parsing Abstract Syntax Graphs with ModelCC.
Luis Quesada, Fernando Berzal, Juan Carlos Cubero Talavera
2014Pattern-based Mapping of OCL Specifications to JML Contracts.
Ali Hamie
2014Resourcebus - A New Substrate for Model-driven Creations.
Petr C. Smolik, Pavel Vitkovsky
2014Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
Crystal Chang Din, Olaf Owe, Richard Bubel
2014SLMToolBox - A Tool Set for Service Engineering.
Hadrien Boyé, Hassan Bazoun, Kamel Belkhelladi
2014SWB Process - A Business Process Management System driven by Semantic Technologies.
Hasdai Pacheco, Karen Najera, Hugo Estrada, Javier Solis
2014Semantic Approach to Automatically Defined Model Transformation.
Tiexin Wang, Sébastien Truptil, Frédérick Bénaben
2014Short Seminars on MDE Technologies - International Experiences.
Marek Milosz, Malgorzata Plechawska-Wójcik
2014Signature Required - Making Simulink Data Flow and Interfaces Explicit.
Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic
2014Specifying Trace Directives for UML Attributes and State Machines.
Hamoud Aljamaan, Timothy C. Lethbridge, Omar Bahy Badreddin, Geoffrey Guest, Andrew Forward
2014Staged Model-Driven Generators - Shifting Responsibility for Code Emission to Embedded Metaprograms.
Yannis Lilis, Anthony Savidis, Yannis Valsamakis
2014Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach.
Andreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker, Sabine Teufl
2014Survey of Graph Rewriting applied to Model Transformations.
Francisco de la Parra, Thomas Dean
2014The ETSI Test Description Language TDL and its Application.
Andreas Ulrich, Sylvia Jell, Anjelika Votintseva, Andres Kull
2014The Eclipse Java Metamodel - Scaffolding Software Engineering Research on Java Projects with MDE Techniques.
Pedro Janeiro Coimbra, Fernando Brito e Abreu
2014The MDArte Experience - Organizational Aspects Acquired from a Successful Partnership between Government and Academia using Model-Driven Development.
Rodrigo Salvador Monteiro, Roque Elias Assumpção Pinel, Geraldo Zimbrão, Jano Moreira de Souza
2014The Role of Foundational Ontologies in Deep Modeling.
Colin Atkinson
2014Toward Evolution Models for Data Warehouses.
Saïd Taktak, Jamel Feki, Gilles Zurfluh
2014Toward a Unified Intercloud Interoperability Conceptual Model for IaaS Cloud Service .
Tahereh Nodehi, Sudeep Ghimire, Ricardo Jardim-Gonçalves
2014Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation.
Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka
2014Towards a Method for Combined Model-based Testing and Analysis.
Brian Nielsen
2014Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML.
Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier
2014Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions.
Ahmed Kheldoun, Malika Ioualalen
2014Typing and Subtyping of Metamodels.
Henning Berg, Birger Møller-Pedersen
2014Using the Base Semantics given by fUML for Verification.
Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira
2014Validating the Functional Design of Embedded Systems against Stakeholder Intentions.
Marian Daun, Thorsten Weyer, Klaus Pohl
2014Verbalization of Business Rules - Application to OCL Constraints in the Utility Domain.
Rayhana Baghli, Bruno Traverson
2014Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL.
Kim G. Larsen
2014What are the used Activity Diagram Constructs? - A Survey.
Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi
2014iArch - An IDE for Supporting Abstraction-aware Design Traceability.
Di Ai, Naoyasu Ubayashi, Peiyuan Li, Shintaro Hosoai, Yasutaka Kamei