A calculus for schemas in Z

DOI10.1006/JSCO.1999.0347MaRDI QIDQ1583855zbMATH OpenOpenAlexDBLPWikidataFDO

Authors R. Smith

Publication date 30 October 2000

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/2a3b0a2ca84362cc5362e9c7499e4c42e01bffaa

zbMATH Keywords

Standard Z

Mathematics Subject Classification ID

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

Recommendations

• Revising \(Z\). II: Logical development
• Revising \(Z\). I: Logic and semantics
• scientific article; zbMATH DE number 2013579
• Refinement and the Z schema calculus
• A logic for schema-based program development

Cites work

• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 108375 (Why is no real title available?)
• scientific article; zbMATH DE number 192880 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 683351 (Why is no real title available?)
• The B-Book
• Unifying theories for logic programming

Cited in

(10)

• Encoding Z-style Schemas in type theory
• A structure preserving encoding of Z in Isabelle/HOL
• Refinement and the Z schema calculus
• scientific article; zbMATH DE number 2013579 (Why is no real title available?)
• ZB 2005: Formal Specification and Development in Z and B
• scientific article; zbMATH DE number 2079819 (Why is no real title available?)
• scientific article; zbMATH DE number 1617308 (Why is no real title available?)
• Transformation rules for Z
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Negation-closure for JSON schema

Describes a project that uses

Uses Software

• Z
• Z/EVES

This page was built for publication: A calculus for schemas in Z

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