The vienna development method (VDM)-Reference-Cited by-同舟云学术

The vienna development method (VDM)

Published:1979 Issue: Volume: Page:326-359
ISSN:0302-9743
Container-title:Mathematical Studies of Information Processing
language:
Short-container-title:

Author:

Bjørner Dines

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-09541-1_33

Reference32 articles.

1. D.Bjørner: "META-IV: A Formal Meta-Language for Abstract Software Specifications", Technical Report, No. ID670, Dept. of Comp.Sci., Techn.Univ.of Denmark, November 1976, 45 pages.

2. —: "Programming Languages: Formal Development of Interpreters and Compilers", European ACM International Computing Symposium, ICS/77, North-Holland Publ., Proceedings, pp. 1–21, April 1977.

3. — and C.B.Jones: "The Vienna Development Method: The Meta-language", Springer-Verlag, Lecture Notes in Computer Science, vol.61, May 1978.

4. —: "Programming in the Meta-language, A Tutorial", in: [Bjørner 78a], pp. 24–217.

5. —: "Software Abstraction Principles: Tutorial Examples of An Operating System Command Language Specification and a PL/I-like ON-Condition Language Definition", in: [Bjørner 78a], pp. 337–374.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic Foundations;ACM Transactions on Cyber-Physical Systems;2024-01-14

2. Security Requirements Formalization with RQCODE;CyberSecurity in a DevOps Environment;2023-08-23

3. A Survey of Practical Formal Methods for Security;Formal Aspects of Computing;2022-03-31

4. Domain Engineering the Magnolia Way;Lecture Notes in Computer Science;2018

5. On Models and Code;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018