Volume 8, Number 1, February 2009
- Robert B. France, Bernhard Rumpe, Martin Schindler:
SoSyM at 7 years.
1-3

- Stéphane Ducasse, Tudor Gîrba, Adrian Kuhn, Lukas Renggli:
Meta-environment and executable meta-language using smalltalk: an experience report.
5-19

- Holger Giese, Robert Wagner:
From model transformation to incremental bidirectional model synchronization.
21-43

- Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen:
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies.
45-65

- Nien-Lin Hsueh, Jong-Yih Kuo, Ching-Chiuan Lin:
Object-oriented design: A goal-driven and pattern-based approach.
67-84

- Kevin Lano:
A compositional semantics of UML-RSDS.
85-116

- Waraporn Jirapanthong, Andrea Zisman:
XTraQue: traceability for product line systems.
117-144

- Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang:
A reconfiguration pattern for distributed embedded systems.
145-161

Volume 8, Number 2, April 2009
- Robert B. France:
Why Johnny can't model.
163-164

- Piotr Kosiuczenko:
Redesign of UML class diagrams: a formal approach.
165-183

- Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon:
Qualifying input test data for model transformations.
185-203

- Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
Use Case Maps as a property specification language.
205-220

- Iris Reinhartz-Berger, Dov Dori, Shmuel Katz:
Reusing semi-specified behavior models in systems analysis and design.
221-234

- Joerg Evermann:
A UML and OWL description of Bunge's upper-level ontology model.
235-249

- Marcello La Rosa, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede:
Questionnaire-based variability modeling for system configuration.
251-274

- Vahid Garousi, Lionel C. Briand, Yvan Labiche:
A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems.
275-302

Volume 8, Number 3, July 2009
- Jean Bézivin, Alfonso Pierantonio, Antonio Vallecillo, Jeff Gray:
Guest editorial to the special section on model transformation.
303-304

- Marcos Didonet Del Fabro, Patrick Valduriez:
Towards the efficient development of model transformations using model weaving and matching transformations.
305-324

- Jesús Sánchez Cuadrado, Jesús García Molina:
Modularization of model transformations through a phasing mechanism.
325-345

- Zoltan Balogh, Dániel Varró:
Model transformation by example using inductive logic programming.
347-364

- Bernd Mahr:
Information science and the logic of models.
365-383

- Amel Mammar:
A systematic approach to generate B preconditions: application to the database domain.
385-401

- Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Paul Ziemann:
Towards an integrated graph-based semantics for UML.
403-422

- Frédéric Gervais, Marc Frappier, Régine Laleau:
Generating relational database transactions from eb3 attribute definitions.
423-445

Volume 8, Number 4, September 2009
- Thomas Kühne:
Editorial to the theme issue on metamodelling.
447-449

- Ethan K. Jackson, Janos Sztipanovits:
Formalizing the structural semantics of domain-specific modeling languages.
451-478

- Karsten Ehrig, Jochen Malte Küster, Gabriele Taentzer:
Generating instance models from meta models.
479-500

- Tihamer Levendovszky, László Lengyel, Tamás Mészáros:
Supporting domain-specific model patterns with metamodeling.
501-520

- Timo Asikainen, Tomi Männistö:
Nivel: a metamodelling language with a formal semantics.
521-549

- Jonathan Sprinkle, J. Mikael Eklund, Humberto González, Esten Ingar Grøtli, Ben Upcroft, Alexei Makarenko, Will Uther, Michael Moser, Robert Fitch, Hugh F. Durrant-Whyte, Shankar Sastry:
Model-based design: a report from the trenches of the DARPA Urban Challenge.
551-566

- Okan Topçu, Mehmet Adak, Halit Oguztüzün:
Metamodeling live sequence charts for code generation.
567-583

Last update Mon May 20 03:33:18 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page