default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoDELS 2011: Wellington, New Zealand
- Jon Whittle, Tony Clark
, Thomas Kühne:
Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Lecture Notes in Computer Science 6981, Springer 2011, ISBN 978-3-642-24484-1
Keynote 1
- Marian Petre:
The Value in Muddling Around Modelling. 1
Model Transformations 1
- Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola:
Towards Quality Driven Exploration of Model Transformation Spaces. 2-16 - Gerd Kainz, Christian Buckl, Alois C. Knoll:
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation. 17-31 - Massimo Tisi, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot:
Lazy Execution of Model-to-Model Transformations. 32-46
Model Complexity
- Joanna Chimiak-Opoka:
Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework. 47-61 - Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux:
Modeling Model Slicers. 62-76 - Javier Espinazo-Pagán, Jesús Sánchez Cuadrado, Jesús García Molina:
Morsa: A Scalable Approach for Persisting and Accessing Large Models. 77-92
Aspect-Oriented Modeling
- Johan Fabry, Arturo Zambrano, Silvia E. Gordillo:
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain. 93-107 - Shaukat Ali, Lionel C. Briand, Andrea Arcuri, Suneth Walawege:
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. 108-122 - Wisam Al Abed, Jörg Kienzle:
Aspect-Oriented Modelling for Distributed Systems. 123-137
Analysis and Comprehension of Models
- Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero:
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments. 138-152 - Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Semantically Configurable Consistency Analysis for Class and Object Diagrams. 153-167 - Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero, José A. Cruz-Lemus:
Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension. 168-182
Domain-Specific Modeling
- Frank Alexander Kraemer:
Engineering Android Applications Based on UML Activities. 183-197 - Jim Steel, Robin Drogemuller:
Domain-Specific Model Transformation in Building Quantity Take-Off. 198-212 - Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel:
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks. 213-227
Models for Embedded Systems
- Michael Lettner, Michael Tschernuth, Rene Mayrhofer:
A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice. 228-242 - Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier:
Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal. 243-257 - Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel:
Semantic Clone Detection for Model-Based Development of Embedded Systems. 258-272
Model Synchronization
- Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Weizhong Shao, Hong Mei:
Instant and Incremental QVT Transformation for Runtime Models. 273-288 - Mickael Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France:
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior. 289-303 - Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas:
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. 304-318
Model-Based Resource Management
- Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos:
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. 319-333 - Kenneth Lind, Rogardt Heldal:
A Model-Based and Automated Approach to Size Estimation of Embedded Software Components. 334-348 - Franck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais:
MDE to Manage Communications with and between Resource-Constrained Systems. 349-363
Analysis of Class Diagrams
- Maged Elaasar, Yvan Labiche:
Diagram Definition: A Case Study with the UML Class Diagram. 364-378 - Ingo Feinerer, Gernot Salzer, Tanja Sisel:
Reducing Multiplicities in Class Diagrams. 379-393
Keynote 2
- Mark Sagar:
Creating Models for Simulating the Face. 394
Verification and Validation 1
- Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo:
EUnit: A Unit Testing Framework for Model Management Tasks. 395-409 - Yann Moffett, Alain Beaulieu, Jürgen Dingel:
Verifying UML-RT Protocol Conformance Using Model Checking. 410-424 - Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr:
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines. 425-439
Refactoring Models
- Friedrich Steimann:
Constraint-Based Model Refactoring. 440-454 - Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki:
Supporting Design Model Refactoring for Improving Class Responsibility Assignment. 455-469
Modeling Visions
- Dmitrijs Zaparanuks, Matthias Hauswirth:
Vision Paper: The Essence of Structural Models. 470-479 - Claas Wilke, Sebastian Götz, Jan Reimann, Uwe Aßmann:
Vision Paper: Towards Model-Based Energy Testing. 480-489 - Uli Fahrenberg, Axel Legay, Andrzej Wasowski:
Vision Paper: Make a Difference! (Semantically). 490-500
Logics and Modeling
- Andres J. Ramirez, Betty H. C. Cheng:
Automatic Derivation of Utility Functions for Monitoring Software Requirements. 501-516 - Mira Balaban, Michael Kifer:
Logic-Based Model-Level Software Development with F-OML. 517-532 - Kurt Stenzel, Nina Moebius, Wolfgang Reif:
Formal Verification of QVT Transformations for Code Generation. 533-547
Development Methods
- Mehdi Iraqi-Houssaini, Mathias Kleiner, Lionel Roucoules:
Model-Based (Mechanical) Product Design. 548-562 - Sayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang:
Applying a Model-Based Approach to IT Systems Development Using SysML Extension. 563-577 - Vinay Kulkarni, Souvik Barat, Uday Ramteerthkar:
Early Experience with Agile Methodology in a Model-Driven Approach. 578-590
Keynote 3
- Wolfram Schulte, Ethan K. Jackson:
Finding Models in Model-Based Development - (Abstract). 591
Model Transformations 2
- Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. 592-607 - Antoine Floch, Tomofumi Yuki, Clément Guy, Steven Derrien, Benoît Combemale, Sanjay V. Rajopadhye, Robert B. France:
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? 608-622 - Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault:
Towards a General Composition Semantics for Rule-Based Model Transformation. 623-637
Verification and Validation 2
- Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey:
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. 638-652 - Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian:
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. 653-667 - Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong:
Correctness of Model Synchronization Based on Triple Graph Grammars. 668-682
Model Integration and Collaboration
- Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson:
A Toolchain for the Detection of Structural and Behavioral Latent System Properties. 683-698 - Arnaud Cuccuru, Sébastien Gérard, François Terrier:
Defining MARTE's VSL as an Extension of Alf. 699-713 - Rixin Zhang, Ajay Krishnan:
Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models. 714-728
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 2024-11-08 20:40 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:
