Abstract
This paper provides an informal introduction to the "art" of abstractly specifying software architectures using the VDM meta-language. A formal treatment of the semantics, as well as a BNF-like concrete syntax, of a large subset of the meta-language is given in [Jones 78a] following this paper.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bjørner, D. (1978). Programming in the meta-language: A tutorial. In: Bjørner, D., Jones, C.B. (eds) The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science, vol 61. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08766-4_9
Download citation
DOI: https://doi.org/10.1007/3-540-08766-4_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08766-3
Online ISBN: 978-3-540-35836-7
eBook Packages: Springer Book Archive