scientific article; zbMATH DE number 595218

MaRDI QIDQ4296956zbMATH OpenFDO

Authors

Publication date 22 June 1994

zbMATH Keywords

data typesformal specification languagesrefinementstype constructorsVDM logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(15)

• A typed logic of partial functions reconstructed classically
• VDM specification for the tree-modification method of refutation
• Semantics of under-determined expressions
• An approach to literate and structured formal developments
• scientific article; zbMATH DE number 139808 (Why is no real title available?)
• scientific article; zbMATH DE number 550761 (Why is no real title available?)
• scientific article; zbMATH DE number 683356 (Why is no real title available?)
• scientific article; zbMATH DE number 1105197 (Why is no real title available?)
• scientific article; zbMATH DE number 1107557 (Why is no real title available?)
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• SETHEO goes software engineering: application of ATP to software reuse
• Automated Technology for Verification and Analysis
• Translating specifications in VDM-SL to PVS
• The generic development language. Presentation and case studies
• The connection between two ways of reasoning about partial functions

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