Abstract is missing.
- Bidirectional Model Transformations in QVT: Semantic Issues and Open QuestionsPerdita Stevens. 1-15 [doi]
- Reconciling TGGs with QVTJoel Greenyer, Ekkart Kindler. 16-30 [doi]
- UniTI: A Unified Transformation InfrastructureBert Vanhooff, Dhouha Ayed, Stefan Van Baelen, Wouter Joosen, Yolande Berbers. 31-45 [doi]
- Guided Development with Multiple Domain-Specific LanguagesAnders Hessellund, Krzysztof Czarnecki, Andrzej Wasowski. 46-60 [doi]
- Model-Driven, Network-Context Sensitive Intrusion DetectionFrédéric Massicotte, Mathieu Couture, Lionel C. Briand, Yvan Labiche. 61-75 [doi]
- An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL SpecificationsAlexandre L. Correa, Cláudia Werner, Márcio de Oliveira Barros. 76-90 [doi]
- On Metamodeling in MegamodelsDragan Gasevic, Nima Kaviani, Marek Hatala. 91-105 [doi]
- Magritte - A Meta-driven Approach to Empower Developers and End UsersLukas Renggli, Stéphane Ducasse, Adrian Kuhn. 106-120 [doi]
- Matching Model-SnippetsRodrigo Ramos, Olivier Barais, Jean-Marc Jézéquel. 121-135 [doi]
- Improving Inconsistency Resolution with Side-Effect Evaluation and CostsJochen Malte Küster, Ksenia Ryndina. 136-150 [doi]
- Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair AnalysisPraveen K. Jayaraman, Jon Whittle, Ahmed M. Elkhodary, Hassan Gomaa. 151-165 [doi]
- Automated Semantic Analysis of Design ModelsFrank Weil, Brian E. Mastenbrook, David Nelson, Paul Dietz, Aswin van den Berg. 166-180 [doi]
- Piecewise Modelling with State SubtypesFriedrich Steimann, Thomas Kühne. 181-195 [doi]
- Deriving Operation Contracts from UML Class DiagramsJordi Cabot, Cristina Gómez. 196-210 [doi]
- Model-Driven Approach for Managing Human Interface Design Life CycleNoi Sukaviriya, Vibha Sinha, Thejaswini Ramachandra, Senthil Mani. 226-240 [doi]
- Integrating Heterogeneous Tools into Model-Centric Development of Interactive ApplicationsAndreas Pleuss, Arnd Vitzthum, Heinrich Hussmann. 241-255 [doi]
- A Business-Process-Driven Approach for Generating E-Commerce User InterfacesXulin Zhao, Ying Zou, Jen Hawkins, Bhadri Madapusi. 256-270 [doi]
- Enhancing UML Extensions with Operational SemanticsArnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard. 271-285 [doi]
- Integrated Definition of Abstract and Concrete Syntax for Textual LanguagesHolger Krahn, Bernhard Rumpe, Steven Völkel. 286-300 [doi]
- Architectural Aspects in UMLJon Oldevik, Øystein Haugen. 301-315 [doi]
- Domain Specific Modeling Methodology for Reconfigurable Networked SystemsGabor Batori, Zoltan Theisz, Domonkos Asztalos. 316-330 [doi]
- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial SystemsKari Leppänen, Sari Leppänen, Markku Turunen. 331-345 [doi]
- Relating Navigation and Request Routing Models in Web ApplicationsMinmin Han, Christine Hofmeister. 346-359 [doi]
- A UML2 Profile for Service ModelingVina Ermagan, Ingolf H. Krüger. 360-374 [doi]
- Automatic Generation of Workflow-Extended Domain ModelsMarco Brambilla, Jordi Cabot, Sara Comai. 375-389 [doi]
- A Practical Perspective on the Design and Implementation of Service-Oriented SolutionsAlan W. Brown, Marc Delbaere, Simon K. Johnston. 390-404 [doi]
- Constructive Techniques for Meta- and Model-Level ReasoningEthan K. Jackson, Janos Sztipanovits. 405-419 [doi]
- A Metamodel-Based Approach for Analyzing Security-Design ModelsDavid A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea. 420-435 [doi]
- UML2Alloy: A Challenging Model TransformationKyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray. 436-450 [doi]
- i:::2:::MAP : An Incremental and Iterative Modeling and Analysis ProcessSascha Konrad, Heather Goldsby, Betty H. C. Cheng. 451-466 [doi]
- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and ValidationSilvia Mara Abrahão, Emilia Mendes, Jaime Gómez, Emilio Insfrán. 467-481 [doi]
- Model-Driven Engineering for Software Migration in a Large Industrial ContextFranck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jézéquel. 482-497 [doi]
- Introducing Variability into Aspect-Oriented Modeling ApproachesPhilippe Lahire, Brice Morin, Gilles Vanwormhoudt, Alban Gaignard, Olivier Barais, Jean-Marc Jézéquel. 498-513 [doi]
- An Expressive Aspect Composition Language for UML State DiagramsJon Whittle, Ana Moreira, João Araújo, Praveen K. Jayaraman, Ahmed M. Elkhodary, Rasheed Rabbi. 514-528 [doi]
- Enhancing UML State Machines with AspectsGefei Zhang, Matthias M. Hölzl, Alexander Knapp. 529-543 [doi]
- Complementary Use Case Scenario Representations Based on Domain VocabulariesMichal Smialek, Jacek Bojarski, Wiktor Nowakowski, Albert Ambroziewicz, Tomasz Straszak. 544-558 [doi]
- Modeling Time(s)Charles André, Frédéric Mallet, Robert de Simone. 559-573 [doi]
- A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical SoftwareGregory Zoughbi, Lionel C. Briand, Yvan Labiche. 574-588 [doi]
- Forensic Debugging of Model TransformationsMark Hibberd, Michael Lawley, Kerry Raymond. 589-604 [doi]
- Runtime Debugging Using Reverse-Engineered UMLOrest Pilskalns, Scott Wallace, Filaret Ilas. 605-619 [doi]
- Formally Defining a Graphical Language for Monitoring and Checking Object InteractionsKai Xu 0002, Donglin Liang. 620-634 [doi]
- Statechart Development Beyond WYSIWYGSteffen Prochnow, Reinhard von Hanxleden. 635-649 [doi]
- Model-Based Design of Computer-Controlled Game Character BehaviorJörg Kienzle, Alexandre Denault, Hans Vangheluwe. 650-665 [doi]
- Model-Driven Construction of Certified BinariesSagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger. 666-681 [doi]
- Workshops and Symposia at MODELS 2007Holger Giese. 682-690 [doi]
- Tutorials at MODELS 2007Jeffrey G. Gray. 691-694 [doi]
- Panels at MODELS 2007Jean-Michel Bruel. 695 [doi]