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
Don S. Batory, Maider Azanza, João Saraiva:
The Objects and Arrows of Computational Design. 1-20
Model Transformation: Foundations
Zinovy Diskin:
Algebraic Models for Bidirectional Model Synchronization. 21-36Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara:
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. 37-52Enrico Biermann, Claudia Ermel, Gabriele Taentzer:
Precise Semantics of EMF Model Transformations by Graph Transformation. 53-67
Requirements Modeling
Denis Hatebur, Maritta Heisel, Holger Schmidt:
A Formal Metamodel for Problem Frames. 68-82Javier 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-96Avik 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-127Andreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen, Erik Carlson, Kjell-Joar Alme, Øystein Haugen:
The Future of Train Signaling. 128-142Trip Denton, Edward Jones, Srini Srinivasan, Ken Owens, Richard W. Buskens:
NAOMI - An Experimental Platform for Multi-modeling. 143-157
Keynote II
Jeff Kramer:
Abstraction and Modelling - A Complementary Partnership. 158
Model Transformation: Techniques
Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum:
Model Transformation as an Optimization Problem. 159-173Romain Robbes, Michele Lanza:
Example-Based Program Transformation. 174-188Ghizlane 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-218Iulian Ober, Bernard Coulette, Younes Lakhrissi:
Behavioral Modelling and Composition of Object Slices Using Event Observation. 219-233Lijun 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-263Paul McIntosh, Margaret Hamilton, Ron G. van Schyndel:
X3D-UML: 3D UML State Machine Diagrams. 264-279Marcela 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
Patrick Rauhut:
3D Parametric Models for Aeroplanes - From Idea to Design. 295
Model Management
Daniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle:
MOOGLE: A Model Search Engine. 296-310Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio:
Managing Model Conflicts in Distributed Development. 311-325Jean-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-355Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis:
Implementation of the Conformance Relation for Incremental Development of Behavioural Models. 356-370Guillaume 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-400Anders Hessellund, Andrzej Wasowski:
Interfaces and Metainterfaces for Models and Metamodels. 401-415Nikola 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-445Martin Gogolla, Mirco Kuhlmann, Fabian Büttner:
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. 446-459Pedro Nogueira Ramos:
Contrary-to-Duties Constraints: From UML to Relational Model. 460-474
Model Analysis
Marwa Shousha, Lionel C. Briand, Yvan Labiche:
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. 475-489Rasha Tawhid, Dorina C. Petriu:
Integrating Performance Analysis in the Model Driven Development of Software Product Lines. 490-504Martin 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-536Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon:
A Model-Based Framework for Security Policy Specification, Deployment and Testing. 537-552Bahman 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-583Benoî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-614Carmine Gravino, Giuseppe Scanniello, Genoveffa Tortora:
An Empirical Investigation on Dynamic Modeling in Requirements Engineering. 615-629
Evolution and Reverse Engineering
Sander Vermolen, Eelco Visser:
Heterogeneous Coupled Evolution of Software Languages. 630-644Markus Herrmannsdoerfer, Sebastian Benz, Elmar Jürgens:
Automatability of Coupled Evolution of Metamodels and Models in Practice. 645-659Andrea 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-689Pierre Kelsen, Qin Ma:
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. 690-704Adam 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-735Simona Bernardi, José Merseguer, Dorina C. Petriu:
Adding Dependability Analysis Capabilities to the MARTE Profile. 736-750Mohammad 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-781Brice 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-796Brice 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-827Arnaud Cuccuru, Sébastien Gérard, Ansgar Radermacher:
Meaningful Composite Structures. 828-842Matthias 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-873Lars Pareto, Miroslaw Staron, Peter S. Eriksson:
Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA. 874-888Toshihiro Obata, Teiichiro Inoue:
General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool. 889-895
Workshops, Symposia, Tutorials, and Panels
Michel R. V. Chaudron:
Workshops at MODELS 2008. 896-905Michal Smialek:
Educators Symposium at MODELS 2008. 906-907Alexander Pretschner:
Doctoral Symposium at MODELS 2008. 908-909Xavier Blanc:
Tutorials at MODELS 2008. 910-915Sudipto Ghosh:
Panels at MODELS 2008. 916-917
last updated on 2019-10-20 23:26 CEST 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:
