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].

Last updated: 2006-03-14

Try this search on Wikipedia, OneLook, Google

Nearby terms:

proposition « propositional calculus « propositional logic « Proposition of a Language Useable for Structured Specifications » proprietary » PROSE » ProSet

Loading