Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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 ?).
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.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag London Limited
About this chapter
Cite this chapter
Goguen, J.A. (1993). Introduction. In: Ryan, P., Sennett, C. (eds) Formal Methods in Systems Engineering. Springer, London. https://doi.org/10.1007/978-1-4471-1975-3_1
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1975-3_1
Publisher Name: Springer, London
Print ISBN: 978-3-540-19751-5
Online ISBN: 978-1-4471-1975-3
eBook Packages: Springer Book Archive