default search action
Software and Systems Modeling, Volume 8
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 - Zoltán 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.