Volume 27, Number 1/3, April/October 2001

• 
  Sjouke Mauw: Introduction by the guest editor. 1-2
• 
  Rob C. van Ommering, René L. Krikhaar, Loe M. G. Feijs: Languages for formalizing, visualizing and verifying software architectures. 3-18
• 
  Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens: Object-oriented modelling and specification using SHE. 19-38
• 
  Paul Oude Luttighuis, Marc M. Lankhorst, R. G. van de Wetering, René Bal, Harmen van den Berg: Visualising business processes. 39-59
• 
  Florence Maraninchi, Yann Rémond: Argos: an automaton-based synchronous language. 61-92
• 
  Martin Fränzle, Karsten Lüth: Visual temporal logic as a rapid prototyping tool. 93-113
• 
  Nikolai Mansurov: Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. 115-136

Volume 27, Number 4, December 2001

• 
  Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: LAILA: a language for coordinating abductive reasoning among logic agents. 137-161
• 
  Franz Puntigam: State inference for dynamically changing interfaces. 163-202

last updated on Sat May 25 05:55:56 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page