default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMODELSWARD2014: Lisbon, Portugal
- Luís Ferreira Pires, Slimane Hammoudi, Joaquim Filipe, Rui César das Neves:
MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress 2014, ISBN 978-989-758-007-9
Invited Speakers
Keynote Speakers
- Philippe Desfray:
Limitations of Model Repositories. MODELSWARD 2014: IS-5 - Colin Atkinson:
The Role of Foundational Ontologies in Deep Modeling. MODELSWARD 2014: IS-7 - Silvia Abrahão:
Models in Software Architecture Derivation and Evaluation - Challenges and Opportunities. MODELSWARD 2014: IS-9 - Kim G. Larsen:
Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL. MODELSWARD 2014: IS-11 - Andreas Holzinger:
On Interaction in Data Mining. MODELSWARD 2014: IS-13
Modeling Languages, Tools and Architectures
Full Papers
- Alessandro Gerlinger Romero, Klaus Schneider
, Maurício Gonçalves Vieira Ferreira:
Using the Base Semantics given by fUML for Verification. 5-16 - Xi Zhu, Congchi Phung, Lars Pareto, Staffan Ehnebom, Mikael Krekola, Magnus Christerson, Mats Helander:
An Industrial Case Study on using Language Workbench Technology for Realizing Model-Driven Engineering. 17-29 - Andreas Bender, Stefan Bozic, Ivan Kondov:
An EMF-based Toolkit for Creation of Domain-specific Data Services. 30-40 - Felix Schwägerl, Sabrina Uhrig, Bernhard Westfechtel:
A Graph-based Algorithm for Three-way Merging of Ordered Collections in EMF Models. 41-54 - Amanuel Koshima, Vincent Englebert:
Collaborative Editing of EMF/Ecore Meta-models and Models - Conflict Detection, Reconciliation, and Merging in DiCoMEF. 55-66 - Fabian Gilson, Vincent Englebert:
A Domain Specific Language for Stepwise Design of Software Architectures. 67-78 - Hamoud Aljamaan, Timothy C. Lethbridge, Omar Bahy Badreddin, Geoffrey Guest, Andrew Forward:
Specifying Trace Directives for UML Attributes and State Machines. 79-86 - Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi:
What are the used Activity Diagram Constructs? - A Survey. 87-98 - Weiqing Zhang, Birger Møller-Pedersen:
Modeling of Tool Integration Resources with OSLC Support. 99-110 - Henning Berg, Birger Møller-Pedersen:
Typing and Subtyping of Metamodels. 111-118 - Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic:
Signature Required - Making Simulink Data Flow and Interfaces Explicit. 119-131 - Marek Milosz, Malgorzata Plechawska-Wójcik:
Short Seminars on MDE Technologies - International Experiences. 132-137 - José Miguel Horcas, Mónica Pinto, Lidia Fuentes:
An Aspect-Oriented Model Transformation to Weave Security using CVL. 138-147
Short Papers
- Luis Quesada, Fernando Berzal, Juan Carlos Cubero Talavera:
Parsing Abstract Syntax Graphs with ModelCC. 151-157 - Luis Quesada, Fernando Berzal, Juan Carlos Cubero Talavera:
A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model Mappings. 158-165 - Ana Luísa Ferreira Andrade Ramos, José Vasconcelos Ferreira:
Model-Based Systems Engineering Tools - Devoloping the GUILTE System. 166-173 - Hajer Saada, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui:
Model Matching for Model Transformation - A Meta-heuristic Approach. 174-181 - Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard, François Terrier:
Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML. 182-192 - Ali Hamie:
Pattern-based Mapping of OCL Specifications to JML Contracts. 193-200 - Enn Tyugu, Mait Harf, Pavel Grigorenko:
A Case Study of Combining Compositional and Object-oriented Software Development. 201-208 - José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Peter Gorm Larsen:
Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. 209-216 - Mandeep Gill, Steve McKeever, David Gavaghan:
Model Composition for Biological Mathematical Systems. 217-224 - Omar Bahy Badreddin, Andrew Forward, Timothy C. Lethbridge:
A Test-Driven Approach for Developing Software Languages. 225-234 - Omar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward, Maged Elaasar, Hamoud Aljamaan, Miguel Garzón:
Enhanced Code Generation from UML Composite State Machines. 235-245 - Jean-Sébastien Sottet, Alain Vagner:
Defining Domain Specific Transformations in Human-Computer Interfaces Development. 246-253 - Omar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward:
A Novel Approach to Versioning and Merging Model and Code Uniformly. 254-263 - Omar Bahy Badreddin, Timothy C. Lethbridge, Andrew Forward:
Investigation and Evaluation of UML Action Languages. 264-273 - Julian Kienberger, Pascal Minnerup, Stefan Kuntz, Bernhard Bauer:
Analysis and Validation of AUTOSAR Models. 274-281 - Andrej Dyck, Andreas Ganser, Horst Lichter:
A Framework for Model Recommenders - Requirements, Architecture and Tool Support. 282-290 - Andrej Dyck, Andreas Ganser, Horst Lichter:
On Designing Recommenders for Graphical Domain Modeling Environments. 291-299 - Andreas Baumgart, Christian Ellen:
A Recipe for Tool Interoperability. 300-308 - Jihen Maâzoun, Nadia Bouassida, Hanêne Ben-Abdallah:
A Bottom Up SPL Design Method. 309-316 - Lucas Lima, Juliano Iyoda, Augusto Sampaio:
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. 317-324 - Paolo Bocciarelli, Andrea D'Ambrogio, Emiliano Paglia:
A Language for Enabling Model-Driven Analysis of Business Processes. 325-332 - Marian Daun, Thorsten Weyer, Klaus Pohl:
Validating the Functional Design of Embedded Systems against Stakeholder Intentions. 333-339 - Tiexin Wang, Sébastien Truptil, Frédérick Bénaben:
Semantic Approach to Automatically Defined Model Transformation. 340-347 - Rayhana Baghli, Bruno Traverson:
Verbalization of Business Rules - Application to OCL Constraints in the Utility Domain. 348-355 - Bernhard Hoisl, Stefan Sobernig, Mark Strembeck:
Natural-language Scenario Descriptions for Testing Core Language Models of Domain-Specific Languages. 356-367 - Mert Ozkaya, Christos Kloukinas:
Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study. 368-375 - Lamine Lafi, Jamel Feki, Slimane Hammoudi:
A New Flexible Method for Advising Metamodel Matching. 376-383 - Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles:
Automated Composition of Sequence Diagrams via Alloy. 384-391 - Pedro Janeiro Coimbra, Fernando Brito e Abreu:
The Eclipse Java Metamodel - Scaffolding Software Engineering Research on Java Projects with MDE Techniques. 392-399 - Luís Pires da Silva, Fernando Brito e Abreu:
Model-Driven GUI Generation and Navigation for Android BIS Apps. 400-407 - António Miguel Rosado da Cruz:
A Pattern Language for Use Case Modeling. 408-414 - Sabine Winetzhammer, Bernhard Westfechtel:
Compiling Graph Transformation Rules into a Procedural Language for Behavioral Modeling. 415-424 - Ahmed Kheldoun, Malika Ioualalen:
Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions. 425-430 - Francisco de la Parra, Thomas Dean:
Survey of Graph Rewriting applied to Model Transformations. 431-441 - Di Ai, Naoyasu Ubayashi, Peiyuan Li, Shintaro Hosoai, Yasutaka Kamei:
iArch - An IDE for Supporting Abstraction-aware Design Traceability. 442-447 - Elena Chebanyuk:
An Approach to Class Diagram Design. 448-453 - Ka Chun Anthony Lee, Maria-Teresa Segarra, Stephane Guelec:
A Deployment-oriented Development Process based on Context Variability Modeling. 454-459 - Petr C. Smolik, Pavel Vitkovsky:
Resourcebus - A New Substrate for Model-driven Creations. 460-465 - Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka:
Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation. 466-471 - Saïd Taktak, Jamel Feki, Gilles Zurfluh:
Toward Evolution Models for Data Warehouses. 472-479 - Crystal Chang Din, Olaf Owe, Richard Bubel:
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. 480-487 - Federico Toledo Rodríguez, Francesca Lonetti, Antonia Bertolino, Macario Polo Usaola, Beatriz Pérez Lamancha:
Extending UML Testing Profile Towards Non-functional Test Modeling. 488-497 - Jacek Kesik, Kamil Nowakowski, Kamil Zyla:
Domain-specific Languages as Tools for Teaching 3D Graphics. 498-503
Methodologies, Processes and Platforms
Full Paper
- Yannis Lilis, Anthony Savidis, Yannis Valsamakis:
Staged Model-Driven Generators - Shifting Responsibility for Code Emission to Embedded Metaprograms. 509-521
Short Papers
- Hasdai Pacheco, Karen Najera, Hugo Estrada, Javier Solis:
SWB Process - A Business Process Management System driven by Semantic Technologies. 525-532 - Luis Silvestre, María Cecilia Bastarrica, Sergio F. Ochoa:
A Model-based Tool for Generating Software Process Model Tailoring Transformations. 533-540 - Beatriz Marín, Andrés Salinas, Juan Morandé, Giovanni Giachetti, Jose Luis de la Vara:
Key Features for a Successful Model-Driven Development Tool. 541-548 - Aitor Murguzur, Xabier De Carlos, Salvador Trujillo, Goiuria Sagardui:
On the Support of Multi-perspective Process Models Variability for Smart Environments. 549-554 - Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët:
An Approach based on SysML and SystemC to Simulate Complex Systems. 555-560 - R. van den Broek, Marcello M. Bonsangue, M. Chaudron, H. van Merode:
Integrating Testing into Agile Software Development Processes. 561-569
Applications and Software Development
Full Paper
- Rodrigo Salvador Monteiro, Roque Elias Assumpção Pinel, Geraldo Zimbrão, Jano Moreira de Souza:
The MDArte Experience - Organizational Aspects Acquired from a Successful Partnership between Government and Academia using Model-Driven Development. 575-584
Short Paper
- Andreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker, Sabine Teufl:
Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach. 587-595
Special Session on Model-Based Analysis and Testing of Embedded Systems
Full Papers
- Andreas Ulrich, Sylvia Jell, Anjelika Votintseva, Andres Kull:
The ETSI Test Description Language TDL and its Application. 601-608 - Brian Nielsen:
Towards a Method for Combined Model-based Testing and Analysis. 609-618 - Rafik Henia, Laurent Rioux, Nicolas Sordon, Gerald-Emmanuel Garcia, Marco Panunzio:
Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software. 619-625 - Bernhard K. Aichernig, Florian Lorber, Stefan Tiran:
Formal Test-Driven Development with Verified Test Cases. 626-635 - Michael Dierkes:
Combining Test and Proof in MBAT - An Aerospace Case Study. 636-644 - Omar Kacimi, Christian Ellen, Markus Oertel, Daniel Sojka:
Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment. 645-652
Special Session on Model-Driven Service Engineering: New Paradigms for Services Development in the Manufacturing Domain
Full Papers
- Carlos Agostinho, Hassan Bazoun, Gregory Zacharewicz, Yves Ducq, Hadrien Boyé:
Information Models and Transformation Principles Applied to Servitization of Manufacturing and Service Systems Design. 657-665 - Hadrien Boyé, Hassan Bazoun, Kamel Belkhelladi:
SLMToolBox - A Tool Set for Service Engineering. 666-672 - Tahereh Nodehi, Sudeep Ghimire, Ricardo Jardim-Gonçalves:
Toward a Unified Intercloud Interoperability Conceptual Model for IaaS Cloud Service . 673-681 - Carlos Coutinho, Adina Cretan, Ricardo Jardim-Gonçalves:
Modelling Services for Interoperability Negotiation. 682-688
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
