A Process Specification Formalism Based on Static COLD.

Jos C. M. Baeten Jan A. Bergstra Sjouke Mauw Gert J. Veltink

Published in: Algebraic Methods (1989)

Keyphrases

trade off
high level
design process
information systems
decision trees
expert systems
probabilistic model
development process
formal model
formal language