Volume 27; Issue 1-3

Computer Languages

Volume 27; Issue 1-3
1

Introduction by the guest editor

Sjouke Mauw
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 31 KB
english, 2001
2

Languages for formalizing, visualizing and verifying software architectures

Rob van Ommering, René Krikhaar, Loe Feijs
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 271 KB
english, 2001
4

Visualising business processes

Paul Oude Luttighuis, Marc Lankhorst, Rob van de Wetering, René Bal, Harmen van den Berg
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 520 KB
english, 2001
5

Argos: an automaton-based synchronous language

Florence Maraninchi, Yann Rémond
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 319 KB
english, 2001
6

Visual temporal logic as a rapid prototyping tool

Martin Fränzle, Karsten Lüth
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 355 KB
english, 2001
7

Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering

Nikolai Mansurov
Journal:
Computer Languages
Year:
2001
Language:
english
File:
PDF, 425 KB
english, 2001