Journals in DBLP

Comput. Lang.
2001, volume: 27, number: 1/3

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