scientific article; zbMATH DE number 827943

MaRDI QIDQ4858905zbMATH OpenFDO

Authors Michał Walicki, Manfred Broy

Publication date 1 February 1996

zbMATH Keywords

data refinementspecificationsverification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Nondeterminism in constructive Z
• Non-deterministic data types: Models and implementations
• scientific article; zbMATH DE number 3943003
• scientific article; zbMATH DE number 4088907
• Prespecification in data refinement

Cited in

(6)

• Non-deterministic data types: Models and implementations
• Proving correctness with respect to nondeterministic safety specifications
• Nondeterminism in constructive Z
• scientific article; zbMATH DE number 4088907 (Why is no real title available?)
• Datatype laws without signatures
• Underspecification, inherent nondeterminism and probability in sequence diagrams

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 Q4858905)