Abstract is missing.
- The Objects and Arrows of Computational DesignDon S. Batory, Maider Azanza, João Saraiva. 1-20 [doi]
- Algebraic Models for Bidirectional Model SynchronizationZinovy Diskin. 21-36 [doi]
- An Invariant-Based Method for the Analysis of Declarative Model-to-Model TransformationsJordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. 37-52 [doi]
- Precise Semantics of EMF Model Transformations by Graph TransformationEnrico Biermann, Claudia Ermel, Gabriele Taentzer. 53-67 [doi]
- A Formal Metamodel for Problem FramesDenis Hatebur, Maritta Heisel, Holger Schmidt. 68-82 [doi]
- Visualization of Use Cases through Automatically Generated Activity DiagramsJavier J. Gutiérrez, Clémentine Nebut, María José Escalona Cuaresma, Manuel Mejías, Isabel M. Ramos. 83-96 [doi]
- Requirements Modeling and Validation Using Bi-layer Use Case DescriptionsAvik Sinha, Matthew Kaplan, Amit M. Paradkar, Clay Williams. 97-112 [doi]
- WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web ApplicationsZef Hemel, Ruben Verhaaf, Eelco Visser. 113-127 [doi]
- The Future of Train SignalingAndreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen, Erik Carlson, Kjell-Joar Alme, Øystein Haugen. 128-142 [doi]
- NAOMI - An Experimental Platform for Multi-modelingTrip Denton, Edward Jones, Srini Srinivasan, Ken Owens, Richard W. Buskens. 143-157 [doi]
- Abstraction and Modelling - A Complementary PartnershipJeff Kramer. 158 [doi]
- Model Transformation as an Optimization ProblemMarouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum. 159-173 [doi]
- Example-Based Program TransformationRomain Robbes, Michele Lanza. 174-188 [doi]
- Detecting Patterns of Poor Design Solutions Using Constraint PropagationGhizlane El-Boussaidi, Hafedh Mili. 189-203 [doi]
- A General Approach for Scenario IntegrationHongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse. 204-218 [doi]
- Behavioral Modelling and Composition of Object Slices Using Event ObservationIulian Ober, Bernard Coulette, Younes Lakhrissi. 219-233 [doi]
- Scenario-Based Static Analysis of UML Class ModelsLijun Yu, Robert B. France, Indrakshi Ray. 234-248 [doi]
- Constructing Models with the Human-Usable Textual NotationLouis M. Rose, Richard F. Paige, Dimitris Kolovos, Fiona A. C. Polack. 249-263 [doi]
- X3D-UML: 3D UML State Machine DiagramsPaul McIntosh, Margaret Hamilton, Ron G. van Schyndel. 264-279 [doi]
- Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled ExperimentMarcela Genero, José A. Cruz-Lemus, Danilo Caivano, Silvia Mara Abrahão, Emilio Insfrán, José A. Carsí. 280-294 [doi]
- 3D Parametric Models for Aeroplanes - From Idea to DesignPatrick Rauhut. 295 [doi]
- MOOGLE: A Model Search EngineDaniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle. 296-310 [doi]
- Managing Model Conflicts in Distributed DevelopmentAntonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio. 311-325 [doi]
- Metamodel Matching for Automatic Model Transformation GenerationJean-Rémy Falleri, Marianne Huchard, Mathieu Lafourcade, Clémentine Nebut. 326-340 [doi]
- Sufficient Criteria for Consistent Behavior Modeling with Refined Activity DiagramsStefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer. 341-355 [doi]
- Implementation of the Conformance Relation for Incremental Development of Behavioural ModelsHong-Viet Luong, Thomas Lambolais, Anne-lise Courbis. 356-370 [doi]
- A Model-Based Framework for Statically and Dynamically Checking Component InteractionsGuillaume Waignier, Prawee Sriplakich, Anne-Françoise Le Meur, Laurence Duchien. 371-385 [doi]
- Formal Definition of MOF 2.0 Metamodel Components and CompositionIngo Weisemöller, Andy Schürr. 386-400 [doi]
- Interfaces and Metainterfaces for Models and MetamodelsAnders Hessellund, Andrzej Wasowski. 401-415 [doi]
- Model&Metamodel, Metadata and Document Repository for Software and Data IntegrationNikola Milanovic, Ralf-Detlef Kutsche, Timo Baum, Mario Cartsburg, Hatice Elmasgünes, Marco Pohl, Jürgen Widiker. 416-430 [doi]
- Model Construction with External Constraints: An Interactive Journey from Semantics to SyntaxMikolás Janota, Victoria Kuzina, Andrzej Wasowski. 431-445 [doi]
- A Benchmark for OCL Engine Accuracy, Determinateness, and EfficiencyMartin Gogolla, Mirco Kuhlmann, Fabian Büttner. 446-459 [doi]
- Contrary-to-Duties Constraints: From UML to Relational ModelPedro Nogueira Ramos. 460-474 [doi]
- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic AlgorithmsMarwa Shousha, Lionel C. Briand, Yvan Labiche. 475-489 [doi]
- Integrating Performance Analysis in the Model Driven Development of Software Product LinesRasha Tawhid, Dorina C. Petriu. 490-504 [doi]
- A Model-Driven Measurement ApproachMartin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener. 505-519 [doi]
- Specifying Service Composition Using UML 2.x and Composition PoliciesJudith E. Y. Rossebø, Ragnhild Kobro Runde. 520-536 [doi]
- A Model-Based Framework for Security Policy Specification, Deployment and TestingTejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon. 537-552 [doi]
- A Pattern Language Verifier for Web-Based Enterprise ApplicationsBahman Zamani, Sahar Kayhani, Greg Butler. 553-567 [doi]
- Automatically Generating Behavioral Models of Adaptive Systems to Address UncertaintyHeather Goldsby, Betty H. C. Cheng. 568-583 [doi]
- Autonomic Management Policy Specification: From UML to DSMLBenoît Combemale, Laurent Broto, Xavier Crégut, Michel J. Daydé, Daniel Hagimont. 584-599 [doi]
- Empirical Analysis of the Relation between Level of Detail in UML Models and Defect DensityAriadi Nugroho, Bas Flaton, Michel R. V. Chaudron. 600-614 [doi]
- An Empirical Investigation on Dynamic Modeling in Requirements EngineeringCarmine Gravino, Giuseppe Scanniello, Genoveffa Tortora. 615-629 [doi]
- Heterogeneous Coupled Evolution of Software LanguagesSander Vermolen, Eelco Visser. 630-644 [doi]
- Automatability of Coupled Evolution of Metamodels and Models in PracticeMarkus Herrmannsdörfer, Sebastian Benz, Elmar Jürgens. 645-659 [doi]
- Enriching Reverse Engineering with AnnotationsAndrea Brühlmann, Tudor Gîrba, Orla Greevy, Oscar Nierstrasz. 660-674 [doi]
- Towards a Formal Account of a Foundational Subset for Executable UML ModelsMichelle L. Crane, Jürgen Dingel. 675-689 [doi]
- A Lightweight Approach for Defining the Formal Semantics of a Modeling LanguagePierre Kelsen, Qin Ma. 690-704 [doi]
- Semantically Configurable Code GenerationAdam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker. 705-720 [doi]
- Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and DiagramsTor Stålhane, Guttorm Sindre. 721-735 [doi]
- Adding Dependability Analysis Capabilities to the MARTE ProfileSimona Bernardi, José Merseguer, Dorina C. Petriu. 736-750 [doi]
- Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks ApplicationsMohammad Al Saad, Nicolai Kamenzky, Jochen H. Schiller. 751-765 [doi]
- Aspect-Oriented Model Weaving Beyond Model Composition and Model TransformationPablo Sánchez, Lidia Fuentes, Dominik Stein, Stefan Hanenberg, Rainer Unland. 766-781 [doi]
- An Aspect-Oriented and Model-Driven Approach for Managing Dynamic VariabilityBrice Morin, Franck Fleurey, Nelly Bencomo, Jean-Marc Jézéquel, Arnor Solberg, Vegard Dehlen, Gordon S. Blair. 782-796 [doi]
- Managing Variability Complexity in Aspect-Oriented ModelingBrice Morin, Gilles Vanwormhoudt, Philippe Lahire, Alban Gaignard, Olivier Barais, Jean-Marc Jézéquel. 797-812 [doi]
- Mapping the UML2 Semantics of Associations to a Java Code Generation ModelDominik Gessenharter. 813-827 [doi]
- Meaningful Composite StructuresArnaud Cuccuru, Sébastien Gérard, Ansgar Radermacher. 828-842 [doi]
- A Systematic Approach to Connectors in a Multi-level Modeling EnvironmentMatthias Gutheil, Bastian Kennel, Colin Atkinson. 843-857 [doi]
- Model-Based Quality Assurance of Automotive SoftwareJan Jürjens, Daniel Reiß, David Trachtenherz. 858-873 [doi]
- Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDALars Pareto, Miroslaw Staron, Peter Eriksson. 874-888 [doi]
- General Mode Controller for Software on Artificial Satellite with Model-Based Validation ToolToshihiro Obata, Teiichiro Inoue. 889-895 [doi]
- Workshops at MODELS 2008Michel R. V. Chaudron. 896-905 [doi]
- Educators Symposium at MODELS 2008Michal Smialek. 906-907 [doi]
- Doctoral Symposium at MODELS 2008Alexander Pretschner. 908-909 [doi]
- Tutorials at MODELS 2008Xavier Blanc. 910-915 [doi]
- Panels at MODELS 2008Sudipto Ghosh. 916-917 [doi]