Specification languages

MaRDI QIDQ4702598zbMATH OpenFDO

Authors Donald Sannella, Martin Wirsing

Publication date 17 February 2002

zbMATH Keywords

specification language

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 2050948
• scientific article; zbMATH DE number 3872706
• Logics of specification languages
• Expressive power of specification languages
• Specification semantics
• scientific article; zbMATH DE number 3898215
• scientific article; zbMATH DE number 512880
• Extensible denotational language specifications

Cited in

(6)

• A Larch shared language handbook
• Amalgamation in the semantics of CASL
• Specification architectures
• scientific article; zbMATH DE number 3980455 (Why is no real title available?)
• scientific article; zbMATH DE number 1975601 (Why is no real title available?)
• On behavioural abstraction and behavioural satisfaction in higher-order logic

This page was built for publication: Specification languages

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