Modular structuring of VDM specifications in VVSL

DOI10.1007/BF01214955zbMath0739.68061OpenAlexW2016222407MaRDI QIDQ1184682

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

VDMformal specification languagemodel-oriented specificationmodular structuring

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic covering undefinedness in program proofs
• Structured algebraic specifications: A kernel language
• Module algebra
• Interpolation in fragments of intuitionistic propositional logic
• A normal form for relational databases that is based on domains and keys
• The Peterlee Relational Test Vehicle—a system overview
• A relational model of data for large shared data banks

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