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.