The Vienna development method: The meta-language
From MaRDI portal
Publication:1244808
zbMath0373.68006MaRDI QIDQ1244808
No author found.
Publication date: 1978
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Formal languages and automata (68Q45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01) Conference proceedings and collections of articles (00Bxx)
Related Items (13)
The origins of structural operational semantics ⋮ A guided tour of the mathematics of MetaSoft '88 ⋮ Multilevel structured program designs and correctness proving ⋮ Composition aspects of programmology. I ⋮ A design method for embedded software systems ⋮ A denotational semantics for the generalized ER model and a simple ER algebra ⋮ Partiality, State and Dependent Types ⋮ Map theory ⋮ Toward complete programming language descriptions that are both formal and understandable ⋮ Manifest domains: analysis and description ⋮ VDM semantics of programming languages: Combinators and monads ⋮ Operational semantics: concepts and their expression ⋮ Remarks on Testing Probabilistic Processes
This page was built for publication: The Vienna development method: The meta-language
