The specification logic

zbMATH Open1276.68058MaRDI QIDQ2863834FDOQ2863834

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

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

zbMATH Keywords

specification languageprogram developmentspecification logicoperation refinementwide spectrum language

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for schema-based program development
• The specification logic \(\nu \)Z
• Applications and methodology of \(\nu Z\)
• Revising \(Z\). I: Logic and semantics
• Title not available (Why is that?)
• `The standard logic for \(Z\)': A clarification

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)