Software and System Modeling, Volume 4

Volume 4, Number 1, February 2005

• Robert B. France, Bernhard Rumpe:
  Domain specific modeling. 1-3
  Electronic Edition (link) BibTeX
• Brian Henderson-Sellers:
  UML - the Good, the Bad or the Ugly? Perspectives from a panel of experts. 4-13
  Electronic Edition (link) BibTeX
• Cindy Eisner:
  Formal verification of software source code through semi-automatic modeling. 14-31
  Electronic Edition (link) BibTeX
• Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt:
  The KeY tool. 32-54
  Electronic Edition (link) BibTeX
• Ilka Philippow, Detlef Streitferdt, Matthias Riebisch, Sebastian Naumann:
  An approach for reverse engineering of design patterns. 55-70
  Electronic Edition (link) BibTeX
• Jon Whittle, Richard Kwan, Jyoti Saboo:
  From scenarios to code: An air traffic control case study. 71-93
  Electronic Edition (link) BibTeX
• João M. Fernandes, Francisco J. Duarte:
  A reference framework for process-oriented software development organizations. 94-105
  Electronic Edition (link) BibTeX

Volume 4, Number 2, May 2005

• Robert B. France, Bernhard Rumpe:
  Model aesthetics. 107-108
  Electronic Edition (link) BibTeX
• Andy Schürr, Heiko Dörr:
  Introductory paper. 109-111
  Electronic Edition (link) BibTeX
• Laurence Tratt:
  Model transformations and tool integration. 112-122
  Electronic Edition (link) BibTeX
• Simon M. Becker, Thomas Haase, Bernhard Westfechtel:
  Model-based a-posteriori integration of engineering tools for incremental development processes. 123-140
  Electronic Edition (link) BibTeX
• Tiziana Margaria:
  Web services-based tool-integration in the ETI platform. 141-156
  Electronic Edition (link) BibTeX
• Gabor Karsai, Andras Lang, Sandeep Neema:
  Design patterns for open tool integration. 157-170
  Electronic Edition (link) BibTeX
• Jean Bézivin:
  On the unification power of models. 171-188
  Electronic Edition (link) BibTeX
• Jon G. Hall, Lucia Rapanotti, Michael Jackson:
  Problem frame semantics for software development. 189-198
  Electronic Edition (link) BibTeX
• Ricardo Choren, Carlos José Pereira de Lucena:
  Modeling Multi-agent systems with ANote. 199-208
  Electronic Edition (link) BibTeX
• Conrad Bock, Michael Gruninger:
  PSL: A semantic domain for flow models. 209-231
  Electronic Edition (link) BibTeX

Volume 4, Number 3, July 2005

• Robert B. France, Bernhard Rumpe:
  Modeling Paradigms. 233-233
  Electronic Edition (link) BibTeX
• Tommaso Bolognesi, John Derrick:
  Introduction. 234-235
  Electronic Edition (link) BibTeX
• Benoît Fraikin, Marc Frappier, Régine Laleau:
  State-based versus event-based specifications for information systems: a comparison of B and eb³. 236-257
  Electronic Edition (link) BibTeX
• Neil Evans, Helen Treharne:
  Investigating a file transfer protocol using CSP and B. 258-276
  Electronic Edition (link) BibTeX
• Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
  Unifying classes and processes. 277-296
  Electronic Edition (link) BibTeX
• Frank Devos, Eric Steegmans:
  Specifying business rules in object-oriented analysis. 297-309
  Electronic Edition (link) BibTeX
• John Howse, Steve Schuman:
  Precise visual modeling: A case-study. 310-325
  Electronic Edition (link) BibTeX
• Anneliese Amschler Andrews, Jeff Offutt, Roger T. Alexander:
  Testing Web applications by modeling with FSMs. 326-345
  Electronic Edition (link) BibTeX
• Marcin Sikorski:
  Dirk Draheim, Gerald Weber: Form-oriented analysis. A new methodology to model form-based applications. 346-347
  Electronic Edition (link) BibTeX

Volume 4, Number 4, November 2005

• Perdita Stevens, Jon Whittle:
  Guest editorial to the special issue on UML2003. 353-354
  Electronic Edition (link) BibTeX
• Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen:
  STAIRS towards formal design with sequence diagrams. 355-357
  Electronic Edition (link) BibTeX
• Ivan Porres:
  Rule-based update transformations and their application to model refactorings. 368-385
  Electronic Edition (link) BibTeX
• Martin Gogolla, Jörn Bohling, Mark Richters:
  Validating UML and OCL models in USE by automatic snapshot generation. 386-398
  Electronic Edition (link) BibTeX
• Lionel C. Briand, Yvan Labiche, Jim Cui:
  Automated support for deriving test requirements from UML statecharts. 399-423
  Electronic Edition (link) BibTeX
• Pierre-Alain Muller, Philippe Studer, Frédéric Fondement, Jean Bézivin:
  Platform independent Web application modeling and development with Netsilon. 424-442
  Electronic Edition (link) BibTeX
• Stefan Haustein, Jörg Pleumann:
  A model-driven runtime environment for Web applications. 443-458
  Electronic Edition (link) BibTeX