Proposition of a Language Useable for Structured Specifications

Proposition of a Language Useable for Structured Specifications

(language)(PLUSS)An algebraic specification language, built on top of ASL.

["A First Introduction to PLUSS", M.C. Gaudel, TR, U ParisSud, Orsay 1984].