scientific article; zbMATH DE number 2080003

MaRDI QIDQ4472185zbMATH OpenFDO

Authors Eerke Boiten

Publication date 3 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2272/22720226.htm

zbMATH Keywords

loose specificationmodel containmentrefinementsemanticsstates-and-operationsZ

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• ZRC -- A refinement calculus for Z
• scientific article; zbMATH DE number 2172807
• scientific article; zbMATH DE number 1303994
• scientific article; zbMATH DE number 2052653
• Revising Z. I: Logic and semantics

Cited in

(13)

• Specifying and refining internal operations in \(Z\)
• ZRC -- A refinement calculus for Z
• Richer types for \(Z\)
• Lifting in Z
• Some elements of Z specification style: Structuring techniques
• An analysis of operation-refinement in an abortive paradigm
• A composition-nominative approach for Z-notation language semantics construction
• scientific article; zbMATH DE number 4050950 (Why is no real title available?)
• scientific article; zbMATH DE number 1303994 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 2052653 (Why is no real title available?)
• scientific article; zbMATH DE number 860051 (Why is no real title available?)
• Composition nominative approach to specifying program systems in Z-Notation language

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