Volume 27,
Number 1/3,
April/October 2001
Visual Formal Methods-VFM'99 Symposium
- Sjouke Mauw:
Introduction by the guest editor.
1-2 BibTeX
- Rob C. van Ommering, René L. Krikhaar, Loe M. G. Feijs:
Languages for formalizing, visualizing and verifying software architectures.
3-18 BibTeX
- 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 BibTeX
- Paul Oude Luttighuis, Marc M. Lankhorst, R. G. van de Wetering, René Bal, Harmen van den Berg:
Visualising business processes.
39-59 BibTeX
- Florence Maraninchi, Yann Rémond:
Argos: an automaton-based synchronous language.
61-92 BibTeX
- Martin Fränzle, Karsten Lüth:
Visual temporal logic as a rapid prototyping tool.
93-113 BibTeX
- Nikolai Mansurov:
Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering.
115-136 BibTeX
Volume 27,
Number 4,
December 2001
Copyright © Sat May 16 23:52:48 2009
by Michael Ley (ley@uni-trier.de)
