Tutorial lecture notes on the Irish School of the VDM-Reference-Cited by-同舟云学术

Tutorial lecture notes on the Irish School of the VDM

Published: Issue: Volume: Page:141-237
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Airchinnigh Mícheál Mac an

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0019997.pdf

Reference30 articles.

1. Dines Bjørner. Stepwise transformation of software architectures. In Dines Bjørner and Cliff B. Jones, editors, Formal Specification & Software Development, chapter 11, pages 353–77. Prentice/Hall International, Englewood Cliffs, New Jersey, 1982.

2. Dines Bjørner. Software Architectures and Programming Systems Design, Vol. II. Basic Abstraction Principles. Department of Computer Science, Technical University of Denmark, Lyngby, Denmark, September 1988. The material constituted the Lecture Notes of Dines Bjørner for the CEC sponsored VDM'88 Symposium Tutorial, Trinity College, Dublin, Ireland. It is a draft of a publication to appear.

3. Lecture Notes in Computer Science,1978

4. Dines Bjørner and Cliff B. Jones, editors. Formal Specification and Software Development. Prentice/Hall International, Englewood Cliffs, New Jersey, 1982.

5. G. Pólya. How to Solve It, A New Aspect of Mathematical Method. Princeton University Press, second edition, 1957.

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

1. Reasoning about I/O in Functional Programs;Central European Functional Programming School;2012

2. The Typed Logic of Partial Functions and the Vienna Development Method;Logics of Specification Languages;2007-12-05

3. Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (M C♣);Lecture Notes in Computer Science;2001

4. Pinnacles of software engineering: 25 years of formal methods;Annals of Software Engineering;2000

5. Scientific Decisions which Characterize VDM;FM’99 — Formal Methods;1999