I am delighted and honoured to provide an introduction for this book, which documents a workshop held in Scotland in September 1991, to assess the state of formal methods technology. Although I was unfortunately unable to attend the meeting, I had attended its predecessor FM’89 in Halifax, Nova Scotia, and my thoughts were very much with FM’91 while it was taking place; its topic seems as timely now as it did then, and the papers included here seem interesting and relevant.


Formal Method Computing Science Software Reusability Informal Method Hardware Verification 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Jon Barwise. Mathematical proofs of computer system correctness. Technical Report CSLI-89–136, Center for the Study of Language and Information, Stanford University, August 1989.Google Scholar
  2. [2]
    Frederick Brooks et al. Report of the Defense Science Board Task Force on Military Software. Technical Report AD-A188 561, Office of the Under Secretary of Defence for Acquisition, Department of Defence, Washington DC 10301, September 1987.Google Scholar
  3. [3]
    Kokichi Futatsugi, Joseph Goguen, Jean-Pierre Jouannaud, and José Meseguer. Principles of OBJ2. In Brian Reid, editor, Proceedings, Twelfth ACM Symposium on Principles of Programming Languages, pages 52–66. Association for Computing Machinery, 1985.Google Scholar
  4. [4]
    Joseph Goguen. Reusing and interconnecting software components. Computer, 19(2):16–28, February 1986. Reprinted in Tutorial: Software Reusability, Peter Freeman, editor, IEEE Computer Society, 1987, pages 251–263, and in Domain Analysis and Software Systems Modelling, Ruben Prieto-Diaz and Guillermo Arango, editors, IEEE Computer Society, 1991, pages 125–137.Google Scholar
  5. [5]
    Joseph Goguen. OBJ as a theorem prover, with application to hardware verification. In V.P. Subramanyan and Graham Birtwhistle, editors, Current Trends in Hardware Verification and Automated Theorem Proving, pages 218–267. Springer, 1989. Also Technical Report SRI-CSL-88–4R2, SRI International, Computer Science Lab, August 1988.Google Scholar
  6. [6]
    Joseph Goguen. Principles of parameterized programming. In Ted Biggerstaff and Alan Perlis, editors, Software Reusability, Volume I: Concepts and Models, pages 159–225. Addison Wesley, 1989.Google Scholar
  7. [7]
    Joseph Goguen. Hyperprogramming: A formal approach to software environments. In Proceedings, Symposium on Formal Approaches to Software Environment Technology. Joint System Development Corporation, Tokyo, Japan, January 1990.Google Scholar
  8. [8]
    Joseph Goguen. The denial of error. In Christiane Floyd, Heinz Züllighoven, Reinhard Budde, and Reinhard Keil-Slawik, editors, Software Development and Reality Construction, pages 193–202. Springer, 1992. Also in Four Pieces on Error, Truth and Reality, Programmming Research Group Technical Monograph PRG-89, October 1990, Oxford.Google Scholar
  9. [9]
    Joseph Goguen. The dry and the wet. In Eckhard Falkenberg, Colette Rolland, and El-Sayed Nasr-El-Dein El-Sayed, editors, Information Systems Concepts, pages 1–17. Elsevier North-Holland, 1992. Proceedings, IFIP Working Group 8.1 Conference (Alexandria, Egypt); also, Programming research Group, Technical Monograph PRG-100, March 1992, Oxford.Google Scholar
  10. [10]
    Joseph Goguen. Truth and meaning beyond formalism. In Christiane Floyd, Heinz Züllighoven, Reinhard Budde, and Reinhard Keil-Slawik, editors, Software Development and Reality Construction, pages 353–362. Springer, 1992. Also in Four Pieces on Error, Truth and Reality, Programming Research Group Technical Monograph PRG-89, October 1990, Oxford.Google Scholar
  11. [11]
    Joseph Goguen and Charlotte Linde. Techniques for requirements elicitation. Technical report, Centre for Requirements and Foundations, Oxford University Computing Lab, 1992. To appear, Proceedings, Requirements Engineering ‘83.Google Scholar
  12. [12]
    Joseph Goguen and José Meseguer. Unifying functional, object-oriented and relational programming, with logical semantics. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming, pages 417–477. MIT, 1987. Preliminary version in SIGPLAN Notices, Volume 21, Number 10, pages 153–162, October 1986.Google Scholar
  13. [13]
    Joseph Goguen, Andrew Stevens, Keith Hobley, and Hendrik Hilberdink. 2OBJ, a metalogical framework based on equational logic. Philosophical Transactions of the Royal Society, Series A, 339:69–86, 1992. Also in Mechanised Reasoning and Hardware Design, edited by C.A.R. Hoare and M.J.C. Gordon, Prentice-Hall, 1992, pages 69–86.Google Scholar
  14. [14]
    Joseph Goguen and Timothy Winkler. Introducing OBJ3. Technical Report SRI-CSL-88–9, SRI International, Computer Science Lab, August 1988. Revised version to appear with additional authors Josh Meseguer, Kokichi Futatsugi and Jean-Pierre Jouannaud, in Applications of Algebraic Specification using OBJ, edited by Joseph Goguen, Cambridge, 1992 ?).Google Scholar
  15. [15]
    Victoria Stavridou, Joseph Goguen, Andrew Stevens, Steven Eker, Serge Aloneftis, and Keith Robley. FUNNEL and 2OBJ: towards an integrated hardware design environment. In Theorem Provers in Circuit Design, volume IFIP Transactions, A-10, pages 197–223. North-Holland, 1992.Google Scholar

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • Joseph A. Goguen

There are no affiliations available

Personalised recommendations