ACT ONE - An Algebraic Specification Language with two Levels of Semantics.

Hartmut Ehrig Werner Fey Horst Hansen

Published in: ADT (1983)

Keyphrases

specification language
formal specification
description language
programming language
databases
software environment
artificial intelligence
requirements specification
knowledge base
cooperative
model checking