default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoDELS 2012: Innsbruck, Austria
- Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson
:
Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings. Lecture Notes in Computer Science 7590, Springer 2012, ISBN 978-3-642-33665-2
Keynote
- Thomas A. Henzinger:
Quantitative Reactive Models. 1-2
MetaModels and Domain Specific Modeling
- Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra:
Bottom-Up Meta-Modelling: An Interactive Approach. 3-19 - Florian Noyrit, Sébastien Gérard, Bran Selic:
FacadeMetamodel: Masking UML. 20-35 - Fazle Rabbi, Wendy MacCaull:
T□: A Domain Specific Language for Rapid Workflow Development. 36-52
Models at RunTime
- Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer:
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. 53-69 - Germán H. Alférez, Vicente Pelechano:
Dynamic Evolution of Context-Aware Systems with Models at Runtime. 70-86 - François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel:
An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements. 87-101
Model Management I
- Markus Scheidgen, Anatolij Zubow, Joachim Fischer, Thomas H. Kolbe:
Automated and Transparent Model Fragmentation for Persisting Large Models. 102-118 - Benoît Combemale, Xavier Thirioux, Benoit Baudry:
Formally Defining and Iterating Infinite Models. 119-133 - Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró:
Query-Driven Soft Interconnection of EMF Models. 134-150
Modeling Methods and Tools I
- Jean-Marie Favre, Ralf Lämmel, Andrei Varanovich:
Modeling the Linguistic Architecture of Software Products. 151-167 - Rolf-Helge Pfeiffer, Andrzej Wasowski:
Cross-Language Support Mechanisms Significantly Aid Software Development. 168-184 - Carmine Gravino, Michele Risi, Giuseppe Scanniello, Genoveffa Tortora:
Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension. 185-201
Consistency Analysis
- Alexander Reder, Alexander Egyed:
Incremental Consistency Checking for Complex Design Rules and Larger Model Changes. 202-218 - Kleinner Farias, Alessandro Garcia, Carlos José Pereira de Lucena:
Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment. 219-234 - Lars Hamann, Oliver Hofrichter, Martin Gogolla:
On Integrating Structure and Behavior Modeling with OCL. 235-251
Software Product Lines I
- Julia Schroeter, Malte Lochau, Tim Winkelmann:
Multi-perspectives on Feature Models. 252-268 - Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen:
Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines. 269-284 - Vinay Kulkarni, Souvik Barat, Suman Roychoudhury:
Towards Business Application Product Lines. 285-301
Foundations of Modeling
- Azzam Maraee, Mira Balaban:
Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. 302-318 - Chris Shaver, Edward A. Lee:
The Coroutine Model of Computation. 319-334 - Shahar Maoz, Yaniv Sa'ar:
Assume-Guarantee Scenarios: Semantics and Synthesis. 335-351
Model Management II
- Adrian Kuhn, Gail C. Murphy, C. Albert Thompson:
An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development. 352-367 - Yu Sun, Jeff Gray, Karlheinz Bulheller, Nicolaus von Baillou:
A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software. 368-382 - Rick Salay, Shige Wang, Vivien Suen:
Managing Related Models in Vehicle Control Software Development. 383-398
Static Analysis Techniques
- Ethan K. Jackson, Wolfram Schulte, Nikolaj S. Bjørner:
Detecting Specification Errors in Declarative Languages with Constraints. 399-414 - Mirco Kuhlmann, Martin Gogolla:
From UML and OCL to Relational Logic and Back. 415-431 - Fabian Büttner, Marina Egea, Jordi Cabot:
On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. 432-448
Model Testing and Simulation
- Carlos A. González, Jordi Cabot:
ATLTest: A White-Box Test Generation Approach for ATL Transformations. 449-464 - Donghwan Shin, Eunkyoung Jee, Doo-Hwan Bae:
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. 465-479 - El Arbi Aboussoror, Ileana Ober, Iulian Ober:
Seeing Errors: Model Driven Simulation Trace Visualization. 480-496
Software Product Lines II
- Razieh Behjati, Tao Yue, Lionel C. Briand:
A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data. 497-513 - Yihan Wu, Gang Huang, Hui Song, Ying Zhang:
Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System. 514-530 - Michael Vierhauser, Paul Grünbacher, Wolfgang Heider, Gerald Holl, Daniela Lettner:
Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines. 531-545
Model Transformation
- Hajer Saada, Xavier Dolques, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui:
Generation of Operational Transformation Rules from Examples of Model Transformations. 546-561 - Vincent Aranega, Anne Etien, Sébastien Mosser:
Using Feature Model to Build Model Transformation Chains. 562-578 - Gerd Kainz, Christian Buckl, Alois C. Knoll:
A Generic Approach Simplifying Model-to-Model Transformation Chains. 579-594
Model Matching, Tracing and Synchronization
- Gunnar Schulze, Joanna Chimiak-Opoka, Jim Arlow:
An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling. 595-608 - Birgit Grammel, Stefan Kastenholz, Konrad Voigt:
Model Matching for Trace Link Generation in Model-Driven Software Development. 609-625 - Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer:
Matching Business Process Workflows across Abstraction Levels. 626-641
Modeling Methods and Tools II
- Muhammad Zohaib Z. Iqbal, Shaukat Ali, Tao Yue, Lionel C. Briand:
Experiences of Applying UML/MARTE on Three Industrial Projects. 642-658 - Sagar Sunkle, Vinay Kulkarni:
Cost Estimation for Model-Driven Engineering. 659-675 - Kleinner Farias, Alessandro Garcia, Jon Whittle, Christina Chavez, Carlos José Pereira de Lucena:
Evaluating the Effort of Composing Design Models: A Controlled Experiment. 676-691
Modeling Practices and Experience I
- Jorge Aranda, Daniela E. Damian, Arber Borici:
Transition to Model-Driven Engineering - What Is Revolutionary, What Remains the Same? 692-708 - Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig:
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions. 709-725 - Shaukat Ali, Tao Yue, Lionel C. Briand, Suneth Walawege:
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study. 726-742
Model Analysis
- James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack:
Sensitivity Analysis in Model-Driven Engineering. 743-758 - Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand:
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. 759-775
Modeling Practices and Experience II
- Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker:
Weaving-Based Configuration and Modular Transformation of Multi-layer Systems. 776-792 - Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue:
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. 793-809 - Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. 810-826
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-04 01:24 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:
