Home > Electronics Tutorials > Online Computer Terms Dictionary > P

Online Computer Terms Dictionary - P

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
 

Discover

     more......