Abstract is missing.
- The Value in Muddling Around ModellingMarian Petre. 1 [doi]
- Towards Quality Driven Exploration of Model Transformation SpacesMauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola. 2-16 [doi]
- Automated Model-to-Metamodel Transformations Based on the Concepts of Deep InstantiationGerd Kainz, Christian Buckl, Alois Knoll. 17-31 [doi]
- Lazy Execution of Model-to-Model TransformationsMassimo Tisi, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot. 32-46 [doi]
- Measuring UML Models Using Metrics Defined in OCL within the SQUAM FrameworkJoanna Chimiak-Opoka. 47-61 [doi]
- Modeling Model SlicersArnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux. 62-76 [doi]
- Morsa: A Scalable Approach for Persisting and Accessing Large ModelsJavier Espinazo-Pagán, Jesús Sánchez Cuadrado, Jesús García Molina. 77-92 [doi]
- Expressing Aspectual Interactions in Design: Experiences in the Slot Machine DomainJohan Fabry, Arturo Zambrano, Silvia E. Gordillo. 93-107 [doi]
- An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search AlgorithmsShaukat Ali, Lionel C. Briand, Andrea Arcuri, Suneth Walawege. 108-122 [doi]
- Aspect-Oriented Modelling for Distributed SystemsWisam Al Abed, Jörg Kienzle. 123-137 [doi]
- A Precise Style for Business Process Modelling: Results from Two Controlled ExperimentsGianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero. 138-152 [doi]
- Semantically Configurable Consistency Analysis for Class and Object DiagramsShahar Maoz, Jan Oliver Ringert, Bernhard Rumpe. 153-167 [doi]
- Identifying the Weaknesses of UML Class Diagrams during Data Model ComprehensionGabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero, José A. Cruz-Lemus. 168-182 [doi]
- Engineering Android Applications Based on UML ActivitiesFrank Alexander Kraemer. 183-197 [doi]
- Domain-Specific Model Transformation in Building Quantity Take-OffJim Steel, Robin Drogemuller. 198-212 [doi]
- Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and FrameworksMarc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel. 213-227 [doi]
- A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in PracticeMichael Lettner, Michael Tschernuth, Rene Mayrhofer. 228-242 [doi]
- Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement ProposalAli Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier. 243-257 [doi]
- Semantic Clone Detection for Model-Based Development of Embedded SystemsBakr Al-Batran, Bernhard Schätz, Benjamin Hummel. 258-272 [doi]
- Instant and Incremental QVT Transformation for Runtime ModelsHui Song, Gang Huang 0001, Franck Chauvel, Wei Zhang 0004, Yanchun Sun, Weizhong Shao, Hong Mei. 273-288 [doi]
- Service-Oriented Architecture Modeling: Bridging the Gap between Structure and BehaviorMickael Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France. 289-303 [doi]
- From State- to Delta-Based Bidirectional Model Transformations: The Symmetric CaseZinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann 0001, Fernando Orejas. 304-318 [doi]
- Enforcing S&D Pattern Design in RCES with Modeling and Formal ApproachesBrahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos. 319-333 [doi]
- A Model-Based and Automated Approach to Size Estimation of Embedded Software ComponentsKenneth Lind, Rogardt Heldal. 334-348 [doi]
- MDE to Manage Communications with and between Resource-Constrained SystemsFranck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais. 349-363 [doi]
- Diagram Definition: A Case Study with the UML Class DiagramMaged Elaasar, Yvan Labiche. 364-378 [doi]
- Reducing Multiplicities in Class DiagramsIngo Feinerer, Gernot Salzer, Tanja Sisel. 379-393 [doi]
- Creating Models for Simulating the FaceMark Sagar. 394 [doi]
- EUnit: A Unit Testing Framework for Model Management TasksAntonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo. 395-409 [doi]
- Verifying UML-RT Protocol Conformance Using Model CheckingYann Moffett, Alain Beaulieu, Jürgen Dingel. 410-424 [doi]
- Model-Based Coverage-Driven Test Suite Generation for Software Product LinesHarald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr. 425-439 [doi]
- Constraint-Based Model RefactoringFriedrich Steimann. 440-454 [doi]
- Supporting Design Model Refactoring for Improving Class Responsibility AssignmentMotohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki. 455-469 [doi]
- Vision Paper: The Essence of Structural ModelsDmitrijs Zaparanuks, Matthias Hauswirth. 470-479 [doi]
- Vision Paper: Towards Model-Based Energy TestingClaas Wilke, Sebastian Götz, Jan Reimann, Uwe Aßmann. 480-489 [doi]
- Vision Paper: Make a Difference! (Semantically)Uli Fahrenberg, Axel Legay, Andrzej Wasowski. 490-500 [doi]
- Automatic Derivation of Utility Functions for Monitoring Software RequirementsAndres J. Ramirez, Betty H. C. Cheng. 501-516 [doi]
- Logic-Based Model-Level Software Development with F-OMLMira Balaban, Michael Kifer. 517-532 [doi]
- Formal Verification of QVT Transformations for Code GenerationKurt Stenzel, Nina Moebius, Wolfgang Reif. 533-547 [doi]
- Model-Based (Mechanical) Product DesignMehdi Iraqi-Houssaini, Mathias Kleiner, Lionel Roucoules. 548-562 [doi]
- Applying a Model-Based Approach to IT Systems Development Using SysML ExtensionSayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang. 563-577 [doi]
- Early Experience with Agile Methodology in a Model-Driven ApproachVinay Kulkarni, Souvik Barat, Uday Ramteerthkar. 578-590 [doi]
- Finding Models in Model-Based Development - (Abstract)Wolfram Schulte, Ethan K. Jackson. 591 [doi]
- CD2Alloy: Class Diagrams Analysis Using Alloy RevisitedShahar Maoz, Jan Oliver Ringert, Bernhard Rumpe. 592-607 [doi]
- Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?Antoine Floch, Tomofumi Yuki, Clement Guy, Steven Derrien, Benoît Combemale, Sanjay V. Rajopadhye, Robert B. France. 608-622 [doi]
- Towards a General Composition Semantics for Rule-Based Model TransformationDennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault. 623-637 [doi]
- Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines FeasibleMartin Fagereng Johansen, Øystein Haugen, Franck Fleurey. 638-652 [doi]
- Reasoning about Metamodeling with Formal Specifications and Automatic ProofsEthan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian. 653-667 [doi]
- Correctness of Model Synchronization Based on Triple Graph GrammarsFrank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong. 668-682 [doi]
- A Toolchain for the Detection of Structural and Behavioral Latent System PropertiesAdam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson. 683-698 [doi]
- Defining MARTE's VSL as an Extension of AlfArnaud Cuccuru, Sébastien Gérard, François Terrier. 699-713 [doi]
- Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture ModelsRixin Zhang, Ajay Krishnan. 714-728 [doi]