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 Paris Sud, Orsay 1984].
(2006-03-14)
Nearby terms:
proposition « propositional calculus « propositional
logic «
Proposition of a Language Useable for Structured
Specifications » proprietary » PROSE » ProSet
|
