default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoDELS 2013: Miami, FL, USA
- Ana Moreira
, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke:
Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings. Lecture Notes in Computer Science 8107, Springer 2013, ISBN 978-3-642-41532-6
Tool Support 1
- Jon Whittle, John Edward Hutchinson, Mark Rouncefield, Håkan Burden, Rogardt Heldal:
Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? 1-17 - Friedrich Steimann, Bastian Ulke:
Generic Model Assist. 18-34 - Martins Francis, Dimitrios S. Kolovos, Nikolaos Drivalos Matragkas, Richard F. Paige:
Adding Spreadsheets to the MDE Toolkit. 35-51
Dependability
- Salvador Martínez Perez, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot:
Model-Driven Extraction and Analysis of Network Security Policies. 52-68 - Jose Luis de la Vara, Rajwinder Kaur Panesar-Walawege:
SafetyMet: A Metamodel for Safety Standards. 69-86 - Alexander Pretschner, Dominik Holling, Robert Eschbach, Matthias Gemmar:
A Generic Fault Model for Quality Assurance. 87-103
Comprehensibility
- Harald Störrle, Andrew Fish:
Towards an Operationalization of the "Physics of Notations" for the Analysis of Visual Languages. 104-120 - Don S. Batory, Eric Latimer, Maider Azanza:
Teaching Model Driven Engineering from a Relational Database Perspective. 121-137 - Frédéric Fondement, Pierre-Alain Muller, Laurent Thiry, Brice Wittmann, Germain Forestier:
Big Metamodels Are Evil - Package Unmerge - A Technique for Downsizing Metamodels. 138-153
Tool Support 2
- Maged Elaasar, Adam Neal:
Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study. 154-169 - Tobias Kuschke, Patrick Mäder, Patrick Rempel:
Recommending Auto-completions for Software Modeling Activities. 170-186 - Martin Faunes, Juan José Cadavid, Benoit Baudry, Houari A. Sahraoui, Benoît Combemale:
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples. 187-202
Testing
- Manuel Wimmer, Loli Burgueño:
Testing M2T/T2M Transformations. 203-219 - Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling:
An Approach to Testing Java Implementation against Its UML Class Model. 220-236 - Shuai Wang, Arnaud Gotlieb, Shaukat Ali, Marius Liaaen:
Automated Test Case Selection Using Feature Model: An Industrial Case Study. 237-253
Semantics Evolution 1
- Gabriele Taentzer, Florian Mantz, Thorsten Arendt, Yngve Lamo:
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes. 254-270 - Walter Cazzola, Nicole Alicia Rossini, Mohammed Al-Refai, Robert B. France:
Fine-Grained Software Evolution Using UML Activity and Class Models. 271-286 - Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed:
Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management. 287-303
Verification
- Karolina Zurowska, Jürgen Dingel:
Model Checking of UML-RT Models Using Lazy Composition. 304-319 - Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat:
Behavioural Verification in Embedded Software, from Model to Source Code. 320-335 - Faiez Zalila, Xavier Crégut, Marc Pantel:
Formal Verification Integration Approach for DSML. 336-351
Product Lines
- Mathieu Acher, Benoît Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert B. France:
Composing Your Compositions of Variability Models. 352-369 - Kunming Nie, Tao Yue, Shaukat Ali, Li Zhang, Zhiqiang Fan:
Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems. 370-387 - Javier Gonzalez-Huerta, Emilio Insfrán, Silvia Abrahão:
Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement. 388-404
Evolution 2
- Marc-Florian Wendland, Martin A. Schneider, Øystein Haugen:
Evolution of the UML Interactions Metamodel. 405-421 - Asha Rajbhoj, Sreedhar Reddy:
A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System. 422-435 - Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel:
On the Complex Nature of MDE Evolution. 436-453
Semantics
- Mira Balaban, Azzam Maraee:
Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. 454-470 - Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits:
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. 471-487 - Lars Hamann, Martin Gogolla:
Endogenous Metamodeling Semantics for Structural UML 2 Concepts. 488-504
Domain-Specific Modeling Languages
- Florian Noyrit, Sébastien Gérard, François Terrier:
Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques. 505-521 - Laurent Wouters:
Towards the Notation-Driven Development of DSMLs. 522-537 - Oszkár Semeráth, Ákos Horváth, Dániel Varró:
Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. 538-554
Models@RT
- Hui Song, Stephen Barrett, Aidan Clarke, Siobhán Clarke:
Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving. 555-571 - Xiaodong Zhang, Xing Chen, Ying Zhang, Yihan Wu, Wei Yao, Gang Huang, Qiang Lin:
Runtime Model Based Management of Diverse Cloud Resources. 572-588 - Borislav Iordanov, Assia Alexandrova, Syed Abbas, Thomas Hilpold, Phani Upadrasta:
The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management. 589-603
Design and Architecture
- Omar Alam, Jörg Kienzle, Gunter Mussbacher:
Concern-Oriented Software Design. 604-621 - Sagar Sunkle, Vinay Kulkarni, Suman Roychoudhury:
Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology. 622-638 - Kleinner Farias, Alessandro Garcia, Jon Whittle, Carlos José Pereira de Lucena:
Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies. 639-655
Model Transformation
- Massimo Tisi, Salvador Martínez Perez, Hassene Choura:
Parallel Execution of ATL Transformation Rules. 656-672 - Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik:
Transformation of Models Containing Uncertainty. 673-689 - Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang:
Automated Verification of Model Transformations in the Automotive Industry. 690-706
Model Analysis
- Christian Saad, Bernhard Bauer:
Data-Flow Based Model Analysis and Its Applications. 707-723 - Wuliang Sun, Robert B. France, Indrakshi Ray:
Contract-Aware Slicing of UML Class Models. 724-739 - Adrian Fernandez, Silvia Abrahão, Emilio Insfrán, Maristella Matera:
Usability Inspection in Model-Driven Web Development: Empirical Validation in WebML. 740-756
System Synthesis
- Ethem Arkin, Bedir Tekinerdogan, Kayhan M. Imre:
Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms. 757-773 - Joel Greenyer, Ekkart Kindler:
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. 774-789
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 2025-12-05 22:32 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:
