Propagating changes in algebraic specifications.

Ataru T. Nakagawa Kokichi Futatsugi

Published in: Softw. Eng. J. (1991)

Keyphrases

high level
formal specification
delay insensitive
algebraic structure
higher order
specification language
reactive systems
computer vision
knowledge base
data structure
digital libraries
control flow
asynchronous circuits