Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarMoDELS 2008: Toulouse, France
Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter:
Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Lecture Notes in Computer Science 5301, Springer 2008, ISBN 978-3-540-87874-2
Keynote I
Model Transformation: Foundations
- Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara:
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. 37-52 - Enrico Biermann, Claudia Ermel, Gabriele Taentzer:
Precise Semantics of EMF Model Transformations by Graph Transformation. 53-67
Requirements Modeling
- Javier J. Gutiérrez, Clémentine Nebut, María José Escalona Cuaresma, Manuel Mejías, Isabel M. Ramos:
Visualization of Use Cases through Automatically Generated Activity Diagrams. 83-96 - Avik Sinha, Matthew Kaplan, Amit M. Paradkar, Clay Williams:
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions. 97-112
Domain-Specific Modeling
- Zef Hemel, Ruben Verhaaf, Eelco Visser:
WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications. 113-127 - Andreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen, Erik Carlson, Kjell-Joar Alme, Øystein Haugen:
The Future of Train Signaling. 128-142 - Trip Denton, Edward Jones, Srini Srinivasan, Ken Owens, Richard W. Buskens:
NAOMI - An Experimental Platform for Multi-modeling. 143-157
Keynote II
Model Transformation: Techniques
- Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum:
Model Transformation as an Optimization Problem. 159-173 - Ghizlane El-Boussaidi, Hafedh Mili:
Detecting Patterns of Poor Design Solutions Using Constraint Propagation. 189-203
Composition and Analysis of Behavioral Models
- Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse:
A General Approach for Scenario Integration. 204-218 - Iulian Ober, Bernard Coulette, Younes Lakhrissi:
Behavioral Modelling and Composition of Object Slices Using Event Observation. 219-233 - Lijun Yu, Robert B. France, Indrakshi Ray:
Scenario-Based Static Analysis of UML Class Models. 234-248
Model Comprehension
- Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
Constructing Models with the Human-Usable Textual Notation. 249-263 - Paul McIntosh, Margaret Hamilton, Ron G. van Schyndel:
X3D-UML: 3D UML State Machine Diagrams. 264-279 - Marcela Genero, José A. Cruz-Lemus, Danilo Caivano, Silvia Mara Abrahão, Emilio Insfrán, José A. Carsí:
Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment. 280-294
Keynote III
Model Management
- Daniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle:
MOOGLE: A Model Search Engine. 296-310 - Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio:
Managing Model Conflicts in Distributed Development. 311-325 - Jean-Rémy Falleri, Marianne Huchard, Mathieu Lafourcade, Clémentine Nebut:
Metamodel Matching for Automatic Model Transformation Generation. 326-340
Behavioral Conformance and Refinement
- Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer:
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. 341-355 - Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis:
Implementation of the Conformance Relation for Incremental Development of Behavioural Models. 356-370 - Guillaume Waignier, Prawee Sriplakich, Anne-Françoise Le Meur, Laurence Duchien:
A Model-Based Framework for Statically and Dynamically Checking Component Interactions. 371-385
Metamodeling and Modularity
- Ingo Weisemöller, Andy Schürr:
Formal Definition of MOF 2.0 Metamodel Components and Composition. 386-400 - Anders Hessellund, Andrzej Wasowski:
Interfaces and Metainterfaces for Models and Metamodels. 401-415 - Nikola Milanovic, Ralf-Detlef Kutsche, Timo Baum, Mario Cartsburg, Hatice Elmasgünes, Marco Pohl, Jürgen Widiker:
Model&Metamodel, Metadata and Document Repository for Software and Data Integration. 416-430
Constraints
- Mikolás Janota, Victoria Kuzina, Andrzej Wasowski:
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. 431-445 - Martin Gogolla, Mirco Kuhlmann, Fabian Büttner:
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. 446-459
Model Analysis
- Marwa Shousha, Lionel C. Briand, Yvan Labiche:
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. 475-489 - Rasha Tawhid, Dorina C. Petriu:
Integrating Performance Analysis in the Model Driven Development of Software Product Lines. 490-504 - Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener:
A Model-Driven Measurement Approach. 505-519
Service-Oriented Architectures
- Judith E. Y. Rossebø, Ragnhild Kobro Runde:
Specifying Service Composition Using UML 2.x and Composition Policies. 520-536 - Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon:
A Model-Based Framework for Security Policy Specification, Deployment and Testing. 537-552 - Bahman Zamani, Sahar Kayhani, Greg Butler:
A Pattern Language Verifier for Web-Based Enterprise Applications. 553-567
Adaptive and Autonomic Systems
- Heather Goldsby, Betty H. C. Cheng:
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. 568-583 - Benoît Combemale, Laurent Broto, Xavier Crégut, Michel J. Daydé, Daniel Hagimont:
Autonomic Management Policy Specification: From UML to DSML. 584-599
Empirical Studies
- Ariadi Nugroho, Bas Flaton, Michel R. V. Chaudron:
Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density. 600-614 - Carmine Gravino, Giuseppe Scanniello, Genoveffa Tortora:
An Empirical Investigation on Dynamic Modeling in Requirements Engineering. 615-629
Evolution and Reverse Engineering
- Markus Herrmannsdoerfer, Sebastian Benz, Elmar Jürgens:
Automatability of Coupled Evolution of Metamodels and Models in Practice. 645-659 - Andrea Brühlmann, Tudor Gîrba, Orla Greevy, Oscar Nierstrasz:
Enriching Reverse Engineering with Annotations. 660-674
Modeling Language Semantics
- Michelle L. Crane, Jürgen Dingel:
Towards a Formal Account of a Foundational Subset for Executable UML Models. 675-689 - Pierre Kelsen, Qin Ma:
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. 690-704 - Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker:
Semantically Configurable Code Generation. 705-720
Dependability Analysis and Testing
- Tor Stålhane, Guttorm Sindre:
Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams. 721-735 - Simona Bernardi, José Merseguer, Dorina C. Petriu:
Adding Dependability Analysis Capabilities to the MARTE Profile. 736-750 - Mohammad Al Saad, Nicolai Kamenzky, Jochen H. Schiller:
Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications. 751-765
Aspect-Oriented Modeling
- Pablo Sánchez, Lidia Fuentes, Dominik Stein, Stefan Hanenberg, Rainer Unland:
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation. 766-781 - Brice Morin, Franck Fleurey, Nelly Bencomo, Jean-Marc Jézéquel, Arnor Solberg, Vegard Dehlen, Gordon S. Blair:
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability. 782-796 - Brice Morin, Gilles Vanwormhoudt, Philippe Lahire, Alban Gaignard, Olivier Barais, Jean-Marc Jézéquel:
Managing Variability Complexity in Aspect-Oriented Modeling. 797-812
Structural Modeling
- Dominik Gessenharter:
Mapping the UML2 Semantics of Associations to a Java Code Generation Model. 813-827 - Matthias Gutheil, Bastian Kennel, Colin Atkinson:
A Systematic Approach to Connectors in a Multi-level Modeling Environment. 843-857
Embedded Systems
- Jan Jürjens, Daniel Reiß, David Trachtenherz:
Model-Based Quality Assurance of Automotive Software. 858-873 - Lars Pareto, Miroslaw Staron, Peter S. Eriksson:
Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA. 874-888 - Toshihiro Obata, Teiichiro Inoue:
General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool. 889-895
Workshops, Symposia, Tutorials, and Panels
maintained by 
, founded at 
, founded at 
last updated on 2019-02-22 23:44 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
