The specification logic

MaRDI QIDQ2863834zbMATH OpenFDO

Authors Martin C. Henson, Besnik Kajtazi

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050930?np=y

zbMATH Keywords

operation refinementprogram developmentspecification languagespecification logicwide spectrum language

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• The specification logic \(\nu \)Z
• Revising Z. I: Logic and semantics
• Revising Z. II: Logical development
• Investigating Z
• scientific article; zbMATH DE number 2172807

Cited in

(11)

• Revising Z. I: Logic and semantics
• Revising Z. II: Logical development
• `The standard logic for Z': A clarification
• Applications and methodology of Z
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1174370 (Why is no real title available?)
• scientific article; zbMATH DE number 2172807 (Why is no real title available?)
• scientific article; zbMATH DE number 860049 (Why is no real title available?)
• Investigating Z
• A logic for schema-based program development
• The specification logic \(\nu \)Z

This page was built for publication: The specification logic \(\nu\mathsf{Z}\)

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