


default search action
MoDELS 2014: Valencia, Spain
- Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfrán:

Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. Lecture Notes in Computer Science 8767, Springer 2014, ISBN 978-3-319-11652-5
Cloud, Mobile and Web Computing
- Steffen Vaupel

, Gabriele Taentzer, Jan Peer Harries, Raphael Stroh, René Gerlach, Michael Guckert:
Model-Driven Development of Mobile Applications Allowing Role-Driven Variants. 1-17 - Yu Sun, Jules White, Sean Eade:

A Model-Based System to Automate Cloud Resource Allocation and Optimization. 18-34 - Sunitha Thummala, Jeff Offutt:

An Evaluation of the Effectiveness of the Atomic Section Model. 35-49
Model Transformation 1
- Vadim Zaytsev, Anya Helene Bagge:

Parsing in a Broad Sense. 50-67 - István Dávid, István Ráth, Dániel Varró:

Streaming Model Transformations By Complex Event Processing. 68-83 - Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos:

On the Use of Signatures for Source Incremental Model-to-text Transformation. 84-98
Behavioral Modeling
- Luca Pazzi:

Modeling Systemic Behavior by State-Based Holonic Modular Units. 99-115 - Philip Langer, Tanja Mayerhofer, Gerti Kappel:

Semantic Model Differencing Utilizing Behavioral Semantics Specifications. 116-132 - Jérémie Tatibouet, Arnaud Cuccuru, Sébastien Gérard

, François Terrier:
Formalizing Execution Semantics of UML Profiles with fUML Models. 133-148
MDE: Past, Present and Future
- Gianna Reggio, Maurizio Leotta, Filippo Ricca:

Who Knows/Uses What of the UML: A Personal Opinion Survey. 149-165 - Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, Jörgen Hansson:

Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain. 166-182 - Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng

, Philippe Collet, Benoît Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann
, Dave R. Stikkolorum, Jon Whittle:
The Relevance of Model-Driven Engineering Thirty Years from Now. 183-200
Formal Semantics, Specification and Verification
- Sagar Chaki, James R. Edmondson:

Model-Driven Verifying Compilation of Synchronous Distributed Applications. 201-217 - Jonas Westman, Mattias Nyberg:

Environment-Centric Contracts for Design of Cyber-Physical Systems. 218-234 - Azzam Maraee, Mira Balaban:

Removing Redundancies and Deducing Equivalences in UML Class Diagrams. 235-251
Models at Runtime
- Thomas Hartmann

, François Fouquet, Grégory Nain
, Brice Morin, Jacques Klein
, Olivier Barais
, Yves Le Traon
:
A Native Versioning Concept to Support Historized Models at Runtime. 252-268 - Hui Song, Xiaodong Zhang, Nicolas Ferry, Franck Chauvel, Arnor Solberg

, Gang Huang:
Modelling Adaptation Policies as Domain-Specific Constraints. 269-285 - Erwan Bousse, Benoît Combemale, Benoit Baudry:

Scalable Armies of Model Clones through Data Sharing. 286-301
Feature and Variability Modeling
- Thorsten Berger, Divya Nair, Ralf Rublack, Joanne M. Atlee, Krzysztof Czarnecki, Andrzej Wasowski

:
Three Cases of Feature-Based Variability Modeling in Industry. 302-319 - Rick Rabiser

, Michael Vierhauser
, Paul Grünbacher
, Deepak Dhungana
, Herwig Schreiner, Martin Lehofer:
Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned. 320-336 - Jaime Chavarriaga, Carlos Noguera, Rubby Casallas, Viviane Jonckers:

Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process. 337-352
Composition and Adaptation
- Marco Di Natale, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli:

An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink. 353-369 - Andrea Enrici, Ludovic Apvrille, Renaud Pacalet:

A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes. 370-385 - Mahdi Derakhshanmanesh, Jürgen Ebert, Thomas Iguchi, Gregor Engels:

Model-Integrating Software Components. 386-402
Practices and Experience
- Luigi Andolfato, Robert Karban, Marcus Schilling, Heiko Sommer, Michele Zamparelli, Gianluca Chiozzi:

Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain. 403-419 - Dimitrios S. Kolovos

, Nicholas Drivalos Matragkas, James R. Williams, Richard F. Paige:
Model Driven Grant Proposal Engineering. 420-432 - Ulf Eliasson, Rogardt Heldal, Jonn Lantz, Christian Berger:

Agile Model-Driven Engineering in Mechatronic Systems - An Industrial Case Study. 433-449
Modeling for Analysis
- Ghanem Soltana, Elizabeta Fourneret, Morayo Adedjouma, Mehrdad Sabetzadeh, Lionel C. Briand:

Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg's Tax Law. 450-466 - Anatoly Vasilevskiy, Øystein Haugen:

Resolution of Interfering Product Fragments in Software Product Line Engineering. 467-483 - Daniel Lüddecke, Nina Bergmann, Ina Schaefer:

Ontology-Based Modeling of Context-Aware Systems. 484-500
Pragmatics
- Iris Reinhartz-Berger, Kathrin Figl

, Øystein Haugen:
Comprehending Feature Models Expressed in CVL. 501-517 - Harald Störrle:

On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters. 518-534 - David Granada

, Juan M. Vara
, Verónica Andrea Bollati, Esperanza Marcos
:
Enabling the Development of Cognitive Effective Visual DSLs. 535-551
Model Extraction, Manipulation and Persistence
- Alexander Bergmayr, Michael Grossniklaus, Manuel Wimmer, Gerti Kappel:

JUMP - From Java Annotations to UML Profiles. 552-568 - Filip Krikava

, Philippe Collet, Robert B. France:
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations. 569-585 - Seyyed M. Shah, Ran Wei

, Dimitrios S. Kolovos
, Louis M. Rose, Richard F. Paige, Konstantinos Barmpis
:
A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence. 586-601
Model Transformation 2
- Francesco Basciani, Davide Di Ruscio, Ludovico Iovino

, Alfonso Pierantonio:
Automated Chaining of Model Transformations with Incompatible Metamodels. 602-618 - Cláudio Gomes

, Bruno Barroca
, Vasco Amaral:
Classification of Model Transformation Tools: Pattern Matching Techniques. 619-635 - Islem Baki, Houari A. Sahraoui, Quentin Cobbaert, Philippe Masson, Martin Faunes:

Learning Implicit and Explicit Control in Model Transformations by Example. 636-652
Querying
- Gábor Szárnyas

, Benedek Izsó, István Ráth, Dénes Harmath, Gábor Bergmann, Dániel Varró:
IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud. 653-669 - Gábor Bergmann:

Translating OCL to Graph Patterns. 670-686

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














