scientific article; zbMATH DE number 139991

MaRDI QIDQ4028351zbMATH OpenFDO

Authors Michel Bidoit

Publication date 28 March 1993

zbMATH Keywords

modular specificationsspecification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99)

Recommendations

• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
• scientific article; zbMATH DE number 3980454
• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• A general framework for modular implementations of modular system specifications
• scientific article; zbMATH DE number 3890708

Cited in

(4)

• How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
• scientific article; zbMATH DE number 3890708 (Why is no real title available?)
• scientific article; zbMATH DE number 4078762 (Why is no real title available?)
• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028351)