Hidden algebra for software engineering

MaRDI QIDQ4503945zbMATH OpenFDO

Authors Joseph Goguen

Publication date 20 May 2001

zbMATH Keywords

hidden algebrasoftware engineering

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1972769
• A hidden agenda
• Hidden coinduction: behavioural correctness proofs for objects
• Semantic constructions for hidden algebra
• Semantic constructions for the specification of objects

Cited in

(12)

• A hidden agenda
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• A hidden Herbrand theorem
• scientific article; zbMATH DE number 1231632 (Why is no real title available?)
• Bisimulation and Hidden Algebra
• Hidden coinduction: behavioural correctness proofs for objects
• scientific article; zbMATH DE number 1972769 (Why is no real title available?)
• Hiding more of hidden algebra
• Co-universal algebraic extension with hidden parameters
• Semantic constructions for hidden algebra
• Semantic constructions for the specification of objects
• Towards automated deduction in cP systems

Describes a project that uses

Uses Software

• CafeOBJ

This page was built for publication: Hidden algebra for software engineering

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