Some elements of Z specification style: Structuring techniques

MaRDI QIDQ2709221zbMATH OpenFDO

Authors Anthony MacDonald, David Carrington

Publication date 10 May 2001

Published in Journal of Universal Computer Science (Search for Journal in Brave)

Full work available at URL http://www.jucs.org/jucs_6_12/some_elements_of_z

zbMATH Keywords

\(Z\) specificationsObject-\(Z\)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A composition-nominative approach for Z-notation language semantics construction
• scientific article; zbMATH DE number 795667
• Lifting in Z
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 2080003

Cited in

(4)

• Defining relationships in ecology using object-oriented formal specifications
• A composition-nominative approach for Z-notation language semantics construction
• scientific article; zbMATH DE number 139995 (Why is no real title available?)
• scientific article; zbMATH DE number 2013572 (Why is no real title available?)

This page was built for publication: Some elements of \(Z\) specification style: Structuring techniques

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