An Executable Specification Language for Fast Prototyping Parallel Responsive Systems.

Heping He Hussein Zedan

Published in: Comput. Lang. (1996)

Keyphrases

specification language
formal specification
distributed systems
knowledge based systems
building blocks
real world
machine learning
computer systems
cooperative
expert systems
software engineering
programming language
life cycle
formal methods
software environment