scientific article; zbMATH DE number 1487939

zbMATH Open0957.68076MaRDI QIDQ4495065FDOQ4495065

Authors Peter Kearney, Luke Wildman

Publication date 22 November 2000

zbMATH Keywords

AdaSum\(Z\)-based formal specificationtarget programming language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Specification statements and refinement
• Composition nominative approach to specifying program systems in Z-Notation language
• scientific article; zbMATH DE number 1543051
• scientific article; zbMATH DE number 3936487
• ZRC -- A refinement calculus for \(Z\)

Cited in

(4)

• scientific article; zbMATH DE number 4080876 (Why is no real title available?)
• Refinement Methodology for Ada
• scientific article; zbMATH DE number 1949620 (Why is no real title available?)
• scientific article; zbMATH DE number 3765722 (Why is no real title available?)

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