Software and System Modeling, Volume 3

Volume 3, Number 1, March 2004

• Robert B. France, Bernhard Rumpe:
  In search of effective design abstractions. 1-3
  Electronic Edition (link) BibTeX
• Cris Kobryn:
  UML 3.0 and the future of modeling. 4-8
  Electronic Edition (link) BibTeX
• María Victoria Cengarle, Alexander Knapp:
  OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. 9-30
  Electronic Edition (link) BibTeX
• Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán:
  Formalization of UML state machines using temporal logic. 31-54
  Electronic Edition (link) BibTeX
• Jean Flower, John Howse, John Taylor:
  Nesting in Euler Diagrams: syntax, semantics and construction. 55-67
  Electronic Edition (link) BibTeX
• Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis:
  The OsMoSys approach to multi-formalism modeling of systems. 68-81
  Electronic Edition (link) BibTeX

Volume 3, Number 2, May 2004

• Paolo Bottoni, Mark Minas:
  Introductory paper. 83-84
  Electronic Edition (link) BibTeX
• Dániel Varró:
  Automated formal verification of visual modeling languages by model checking. 85-113
  Electronic Edition (link) BibTeX
• Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
  A component framework for system modeling based on high-level replacement systems. 114-135
  Electronic Edition (link) BibTeX
• Nik Swoboda, Gerard Allwein:
  Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. 136-149
  Electronic Edition (link) BibTeX
• Yan Jin, Robert Esser, Jörn W. Janneck:
  A method for describing the syntax and semantics of UML statecharts. 150-163
  Electronic Edition (link) BibTeX
• Claudia Ermel, Roswitha Bardohl:
  Scenario animation for visual behavior models: A generic approach. 164-177
  Electronic Edition (link) BibTeX

Volume 3, Number 3, August 2004

• Robert B. France, Bernhard Rumpe:
  Assessing model quality. 179-180
  Electronic Edition (link) BibTeX
• Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:
  Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. 181-193
  Electronic Edition (link) BibTeX
• Juan de Lara, Hans Vangheluwe, Manuel Alfonseca:
  Meta-modelling and graph grammars for multi-paradigm modelling in AToM³. 194-209
  Electronic Edition (link) BibTeX
• Ivar Jacobson:
  Use cases - Yesterday, today, and tomorrow. 210-220
  Electronic Edition (link) BibTeX
• Christian Prehofer:
  Plug-and-play composition of features and feature interactions with statechart diagrams. 221-234
  Electronic Edition (link) BibTeX
• Paul Grünbacher, Alexander Egyed, Nenad Medvidovic:
  Reconciling software requirements and architectures with intermediate models. 235-253
  Electronic Edition (link) BibTeX

Volume 3, Number 4, December 2004

• Robert B. France, Bernhard Rumpe:
  SoSyM at three. 255-257
  Electronic Edition (link) BibTeX
• Yingxu Wang, Shushma Patel:
  Guest editorial: On Modeling Object-Oriented Information Systems. 258-261
  Electronic Edition (link) BibTeX
• Jing Dong, Paulo S. C. Alencar, Donald D. Cowan:
  A behavioral analysis and verification approach to pattern-based design composition. 262-272
  Electronic Edition (link) BibTeX
• George Spanoudakis, Hyoseob Kim:
  Supporting the reconciliation of models of object behaviour. 273-293
  Electronic Edition (link) BibTeX
• Christine W. Chan:
  Knowledge and software modeling using UML. 294-302
  Electronic Edition (link) BibTeX
• Daniela Nicklas, Bernhard Mitschang:
  On building location aware applications using an open platform based on the NEXUS Augmented World Model. 303-313
  Electronic Edition (link) BibTeX
• Alan W. Brown:
  Model driven architecture: Principles and practice. 314-327
  Electronic Edition (link) BibTeX