scientific article; zbMATH DE number 139814

zbMATH Open0794.68101MaRDI QIDQ4028148FDOQ4028148

Authors: N. A. Harman, John V. Tucker 

Publication date: 28 March 1993

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

Recommendations

• Laws of data refinement
• scientific article; zbMATH DE number 1303989
• scientific article; zbMATH DE number 1303994
• scientific article; zbMATH DE number 3943003
• Specification statements and refinement

zbMATH Keywords

specifications of digital systemsstream transformers

Mathematics Subject Classification ID

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

Cited In (10)

• Requirements, specifications, and minimal refinement
• Title not available (Why is that?)
• On the lattice of specifications: Applications to a specification methodology
• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
• Refining specifications to programmable logic
• Correct Hardware Design and Verification Methods
• An axiom system for sequence-based specification
• Algebraic models of microprocessors architecture and organisation
• Evolving Specification Engineering
• Stepwise development of process-algebraic specifications in decorated trace semantics

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