Modular structuring of VDM specifications in VVSL

DOI10.1007/BF01214955MaRDI QIDQ1184682zbMATH OpenOpenAlexFDO

Authors C. A. Middelburg

Publication date 28 June 1992

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01214955

zbMATH Keywords

formal specification languagemodel-oriented specificationmodular structuringVDM

Mathematics Subject Classification ID

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

Recommendations

• Structuring of specification modules (extended)
• scientific article; zbMATH DE number 1107557
• A general framework for modular implementations of modular system specifications
• scientific article; zbMATH DE number 3890708
• Modular Specification of Encapsulated Object-Oriented Components
• scientific article; zbMATH DE number 4016178
• scientific article; zbMATH DE number 139994
• Modular specification and verification of object-oriented programs

Cites work

• A logic covering undefinedness in program proofs
• A normal form for relational databases that is based on domains and keys
• A relational model of data for large shared data banks
• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• Interpolation in fragments of intuitionistic propositional logic
• Module algebra
• Structured algebraic specifications: A kernel language
• The Peterlee Relational Test Vehicle—a system overview

Cited in

(3)

• The transition from VDL to VDM
• scientific article; zbMATH DE number 550761 (Why is no real title available?)
• scientific article; zbMATH DE number 225504 (Why is no real title available?)

This page was built for publication: Modular structuring of VDM specifications in VVSL

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