scientific article; zbMATH DE number 1487939

zbMATH Open0957.68076MaRDI QIDQ4495065FDOQ4495065

Authors: Peter Kearney, Luke Wildman 

Publication date: 22 November 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Refinement Methodology for Ada
• Title not available (Why is that?)

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)