COSY - A System Specification Language Based on Paths and Processes.

Peter E. Lauer Piero R. Torrigiani M. W. Shields

Published in: Acta Informatica (1979)

Keyphrases

specification language
formal specification
description language
programming language
software environment
requirements specification
artificial intelligence
case study
constraint satisfaction problems
workflow models