You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL