Volume 4, Number 1, February 2005

• 
  Robert B. France, Bernhard Rumpe: Domain specific modeling. 1-3
• 
  Brian Henderson-Sellers: UML - the Good, the Bad or the Ugly? Perspectives from a panel of experts. 4-13
• 
  Cindy Eisner: Formal verification of software source code through semi-automatic modeling. 14-31
• 
  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
• 
  Ilka Philippow, Detlef Streitferdt, Matthias Riebisch, Sebastian Naumann: An approach for reverse engineering of design patterns. 55-70
• 
  Jon Whittle, Richard Kwan, Jyoti Saboo: From scenarios to code: An air traffic control case study. 71-93
• 
  João M. Fernandes, Francisco J. Duarte: A reference framework for process-oriented software development organizations. 94-105

Volume 4, Number 2, May 2005

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

Volume 4, Number 3, July 2005

• 
  Robert B. France, Bernhard Rumpe: Modeling Paradigms. 233
• 
  Tommaso Bolognesi, John Derrick: Introduction. 234-235
• 
  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
• 
  Neil Evans, Helen Treharne: Investigating a file transfer protocol using CSP and B. 258-276
• 
  Ana Cavalcanti, Augusto Sampaio, Jim Woodcock: Unifying classes and processes. 277-296
• 
  Frank Devos, Eric Steegmans: Specifying business rules in object-oriented analysis. 297-309
• 
  John Howse, Steve Schuman: Precise visual modeling: A case-study. 310-325
• 
  Anneliese Amschler Andrews, Jeff Offutt, Roger T. Alexander: Testing Web applications by modeling with FSMs. 326-345
• 
  Marcin Sikorski: Dirk Draheim, Gerald Weber: Form-oriented analysis. A new methodology to model form-based applications. 346-347

Volume 4, Number 4, November 2005

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

last updated on Thu May 23 04:40:54 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page