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
Copyright © Sat Nov 21 01:35:55 2009
by Michael Ley (ley@uni-trier.de)