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

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

Cited in

(14)

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

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)