The Vienna development method: The meta-language

MaRDI QIDQ1244808zbMATH OpenFDO

Authors

Publication date 1978

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)

Cited in

(14)

• VDM semantics of programming languages: Combinators and monads
• The origins of structural operational semantics
• A guided tour of the mathematics of MetaSoft '88
• Toward complete programming language descriptions that are both formal and understandable
• Map theory
• A denotational semantics for the generalized ER model and a simple ER algebra
• Composition aspects of programmology. I
• Partiality, state and dependent types
• Multilevel structured program designs and correctness proving
• Remarks on testing probabilistic processes
• A design method for embedded software systems
• Operational semantics: concepts and their expression
• Domain modelling: a foundation for software development
• Manifest domains: analysis and description

This page was built for publication: The Vienna development method: The meta-language

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