Behavioural and Abstractor Specifications.

Michel Bidoit Rolf Hennicker Martin Wirsing

Published in: Sci. Comput. Program. (1995)

Keyphrases

high level
delay insensitive
databases
image processing
formal specification
specification language
written in natural language
machine learning
decision making
website
data structure
control flow
reactive systems
concurrent systems