Abstract
In this paper we will present an approach for teaching formalisms to Computer Science undergraduate students that has been developed over the past 23 years at the University of Hertfordshire (formerly Hatfield Polytechnic). We discuss the background and the evolution of the approach, the theoretical underpinning, the political motivation and some of the pedagogic issues that arise. Examples of the ways in which the generic approach has been specialised for different classes of students are discussed, and some of the implications for other curriculum areas that typically accompany these courses will be briefly mentioned.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alexander, C.: Notes on the Synthesis of Form. Harvard University Press, Cambridge (1964)
Bjørner, D.: Pinnacles of software engineering: 25 years of formal methods. Annals of Software Engineering 10, 11–66 (2000)
Boute, R.T.: Some Fundamental Concepts in Computer Science for Telecommunication Engineers. BTM, Antwerp (June 1980)
Burstall, R.M., Goguen, J.A.: Putting theories together to make specifications. In: Proceedings of the Fifth International Joint Conference on Artificial Intelligence (1977)
Feyerabend, P.: Against method: outline of an anarchistic theory of knowledge, NLB (1975)
Hayes, I. (ed.): Specification Case Studies. Prentice-Hall, Englewood Cliffs (1987)
Jones, J., Loomes, M., Shaw, R.: An Education Programme for Practising Software Engineers. Proceedings of Software Engineering 86 (1986)
Kent Dybvig, R.: The Scheme Programming Language, 3rd edn. The MIT Press, Cambridge (2003)
Kozmetsky, G.: The significant role of problem solving in education. In: Tuma, D.T., Reif, F. (eds.) Problem Solving and Education: Issues in Teaching and Research, pp. 151–157. Lawrence Erlbaum, Mahwah (1980)
Loomes, M.J.: Software Engineering Curriculum Design, University of Surrey PhD Thesis (1991), available from the authorm.j.loomes@herts.ac.uk
Mills, Harlan, D.: Software engineering education. Proceedings of the IEEE, 1158–1162 (September 1980)
Mitchell, R., Loomes, M.: Howse: Structuring Formal Specifications - A Lesson Relearned. Microprocessors and Microsystems 18(10), 593–599 (1994); Butterworth-Heine, ISSN 0141-9331
Naur, P.: Programming as theory building. Microprocessing and Microprogramming 15, 253–261 (1985); Invited keynote address at Euromicro 84, Copenhagen, Denmark
Popper, K.R.: Conjectures and Refutations. Routledge and Kegan Paul (1963)
Ryle, G.: The concept of mind. Peregrin Books (1949)
Woodcock, J., Loomes, M.: Software Engineering Mathematics. Pitman (1988)
Vinter, R., Loomes, M.J., Kornbrot, D.: Applying Software Metrics to Formal Specification: A Cognitive Approach. In: Proceedings of the 5th. International Software Metrics Symposium, pp. 216–223. IEEE Computer Science Press, Los Alamitos (1998)
Vygotsky, L.S.: The collected works of LS Vygotsky, vol. 1. Plenum, New York (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Loomes, M., Christianson, B., Davey, N. (2004). Formal Systems, Not Methods. In: Dean, C.N., Boute, R.T. (eds) Teaching Formal Methods. TFM 2004. Lecture Notes in Computer Science, vol 3294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30472-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-30472-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23611-5
Online ISBN: 978-3-540-30472-2
eBook Packages: Springer Book Archive