Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Proposition of a Language Useable for Structured Specifications

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

©2018 Martin Webb