Tutorial lecture notes on the Irish School of the VDM

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.Google Scholar

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.Google Scholar

Dines Bjørner and Cliff B. Jones, editors. The Vienna Development Method: The Meta-Language, Lecture Notes in Computer Science 61. Springer-Verlag, Berlin, 1978.Google Scholar

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

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

Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Company, Reading, Massachusetts, 1974.Google Scholar

Douglas Bridges and Osvald Demuth. On the Lebesgue Measurability of Continuous Functions in Constructive Analysis. BULLETIN (New Series) of the American Mathematical Society, 24(2):259–76, April 1991.Google Scholar

Antoni Diller. Z: An Introduction to Formal Methods. John Wiley & Sons, Chichester, England, 1990.Google Scholar

Samuel Eilenberg. Automata, Languages, and Machines, Volume A. Academic Press, New York, 1974.Google Scholar

Samuel Eilenberg. Automata, Languages, and Machines, Volume B. Academic Press, New York, 1976.Google Scholar

Shimon Even. Graph Algorithms. Computer Science Press, Inc., 9125 Fall River Lane, Potomac, Maryland, 1979.Google Scholar

Heinrich W. Guggenheimer. Differential Geometry. Constable and Company, Ltd., London, 1963. The 1977 Dover edition is cited.Google Scholar

Sir Thomas Heath. A History of Greek Mathematics, Volume I: From Thales to Euclid. Clarendon Press, Oxford, 1921. The Dover Publications 1981 reprint is cited.Google Scholar

Sir Thomas Heath. A History of Greek Mathematics, Volume II: From Aristarchus to Diophantus. Clarendon Press, Oxford, 1921. The Dover Publications 1981 reprint is cited.Google Scholar

Cliff B. Jones. Software Development: A Rigorous Approach. Prentice-Hall International, London, 1980.Google Scholar

Cliff B. Jones. Modelling concepts of programming languages. In Dines Bjørner and Cliff B. Jones, editors, Formal Specification & Software Development, chapter 4, pages 85–123. Prentice/Hall International, Englewood Cliffs, New Jersey, 1982.Google Scholar

Immanuel Kant. Critique of Pure Reason. Macmillan Education, Ltd., London, 1781, 1787. Translated from the German by Norman Kemp Smith, 1921.Google Scholar

Rudolfus Kassel, editor. ARISTOTELIS DE ARTE POETICA LIBER. Oxford University Press, Oxford, 1965.Google Scholar

Morris Kline. Mathematical Thought from Ancient to Modern Times. Oxford University Press, Oxford, 1972.Google Scholar

Imre Lakatos. Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press, 1976. Edited by John Worrall and Elie Zahar.Google Scholar

Mícheál Mac an Airchinnigh. Mathematical Structures and their Morphisms in Meta-IV. In D. Bjørner, C. B. Jones, M. Mac an Airchinnigh, and E. J. Neuhold, editors, VDM '87, VDM—A Formal Method at Work, Lecture Notes in Computer Science 252, pages 287–320. Springer-Verlag, Berlin, 1987.Google Scholar

Mícheál Mac an Airchinnigh. Conceptual Models and Computing. Department of Computer Science, Trinity College, Dublin, Ireland, 1990.Google Scholar

Robert Matthews. The Chip with a sting in its tale. New Scientist, (1777):20–1, 13 July 1991.Google Scholar

T. Nishizeki and N. Chiba. Planar Graphs: Theory and Algorithms. North-Holland, Amsterdam, 1988.Google Scholar

J. N. Oliveira. A Reification Calculus for Model-Oriented Software Specification. Formal Aspects of Computing, 2(1):1–23, 1990.CrossRefGoogle Scholar

Joseph E. Stoy. Foundations of Denotational Semantics. In Dines Bjørner, editor, Abstract Software Specifications, Lecture Notes in Computer Science 86, pages 43–99. Springer-Verlag, Berlin, 1980.Google Scholar

Joseph E. Stoy. Mathematical Foundations. In Dines Bjørner and Cliff B. Jones, editors, Formal Specification and Software Development, pages 47–81. Prentice/Hall International, Englewood Cliffs, New Jersey, 1982.Google Scholar

Robert Tarjan. Depth-first search and linear graph algorithms. SIAM Journal on Computing, 1(2):146–160, June 1972.CrossRefGoogle Scholar

Andrzej Tarlecki and Morten Wieth. A Naive Domain Universe for VDM. In D. Bjørner, C. A. R. Hoare, and H. Langmaack, editors, VDM'90, VDM and Z-Formal Methods in Software Development, Lecture Notes in Computer Science 428, pages 552–79. Springer-Verlag, Berlin, 1990.Google Scholar

Thomas E. Vollmann, William L. Berry, and D. Clay Whybark. Manufacturing Planning and Control Systems. Richard D. Irwin, Ltd., Homewood, Illinois, 1984.Google Scholar