ACT ONE

ACT ONE

(language, specification)A specification language.

["An Algebraic Specification Language with Two Levels ofSemantics", H. Ehrig et al, Tech U Berlin 83-1983-02-03].