Computer Languages, Volume 27

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 update Mon May 20 16:36:06 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page