default search action
7. ECMFA 2011: Birmingham, UK
- Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige:
Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Lecture Notes in Computer Science 6698, Springer 2011, ISBN 978-3-642-21469-1
Keynote
- Wilhelm Schäfer:
Building Advanced Mechatronic Systems. 1-2
Model Execution
- Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier:
Contracts for Model Execution Verification. 3-18 - Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Martin Jung, Detlef Kips, Michael Philippsen:
A FUML-Based Distributed Execution Machine for Enacting Software Process Models. 19-34 - Benoît Combemale, Laure Gonnord, Vlad Rusu:
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics. 35-51
Model Analysis
- Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt:
Incremental Security Verification for Evolving UMLsec models. 52-68 - Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens:
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. 69-84 - Jérôme Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc:
Operation Based Model Representation: Experiences on Inconsistency Detection. 85-96
Methodology
- Pietro Colombo, Ferhat Khendek, Luigi Lavazza:
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML. 97-114 - Tao Yue, Shaukat Ali, Lionel C. Briand:
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing. 115-131 - Imran Sarwar Bajwa, Mark G. Lee:
Transformation Rules for Translating Business Rules to OCL Constraints. 132-143
Model Management (1)
- Joel Greenyer, Sebastian Pook, Jan Rieke:
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. 144-159 - Guillaume Doux, Patrick Albert, Gabriel Barbier, Jordi Cabot, Marcos Didonet Del Fabro, Scott Uk-Jin Lee:
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform. 160-171 - Thomas Goldschmidt, Axel Uhl:
Incremental Updates for View-Based Textual Modelling. 172-188
Transformations
- Xavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut, François Pfister:
Easing Model Transformation Learning with Automatically Aligned Examples. 189-204 - Dominik Gessenharter, Martin Rauscher:
Code Generation for UML 2 Activity Diagrams - Towards a Comprehensive Model-Driven Development Approach. 205-220 - Martin Gogolla, Antonio Vallecillo:
Tractable Model Transformation Testing. 221-235
Variability Analysis and ADLs
- Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand, Bran Selic:
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. 236-252 - Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen:
Analyzing Variability: Capturing Semantic Ripple Effects. 253-269 - Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau:
Integrating Design and Runtime Variability Support into a System ADL. 270-281
Domain-Specific Modelling
- Maged Elaasar, Lionel C. Briand, Yvan Labiche:
Domain-Specific Model Verification with QVT. 282-298 - Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda:
A SysML Profile for Development and Early Validation of TLM 2.0 Models. 299-311 - Rolf-Helge Pfeiffer, Andrzej Wasowski:
Taming the Confusion of Languages. 312-328
Model Management (2)
- Stephen C. Barrett, Patrice Chalin, Greg Butler:
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador. 329-344 - Antonio Vallecillo:
Improving Naming and Grouping in UML. 345-360 - Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang:
Aspect-Oriented Model Development at Different Levels of Abstraction. 361-376
Workshop Summaries
- Ralf-Detlef Kutsche, Nikola Milanovic:
MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration. 377-378 - Jordi Cabot, Patrick Albert, Grégoire Dupé, Marcos Didonet Del Fabro, Scott Uk-Jin Lee:
MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization. 379-380 - Ella E. Roubtsova, Ashley T. McNeile, Ekkart Kindler, Mehmet Aksit:
The Third Workshop on Behaviour Modelling - Foundations and Applications. 381-382 - Reda Bendraou, Rédouane Lbath, Bernard Coulette, Marie-Pierre Gervais:
Process-Centred Approaches for Model-Driven Engineering (PMDE) - First Edition. 383-384 - Goetz Botterweck, Andreas Pleuss, Julia Rubin, Christa Schwanninger:
Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011). 385-386
Tutorial Summaries
- Bernhard Rumpe, Martin Schindler, Steven Völkel, Ingo Weisemöller:
Agile Development with Domain Specific Languages. 387-388 - Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró:
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery. 389-390 - Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James R. Williams:
Integrated Model Management with Epsilon. 391-392 - Juha-Pekka Tolvanen:
Creating Domain-Specific Modelling Languages That Work: Hands-On. 393-394
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.