Formal Systems, Not Methods

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.

[1]  Jim Woodcock,et al.  Software engineering mathematics , 1988 .

[2]  R. Kent Dybvig,et al.  The Scheme Programming Language , 1995 .

[3]  Peter Naur,et al.  Programming as theory building , 1985 .

[4]  John Howse,et al.  Structuring formal specifications - a lesson relearned , 1994, Microprocess. Microsystems.

[5]  P. Feyerabend.  Against Method: Outline of an Anarchistic Theory of Knowledge , 1976 .

[6]  Harlan D. Mills.  Software engineering education , 1980 .

[7]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[8]  Christopher Alexander.  Notes on the Synthesis of Form , 1964 .

[9]  G. Ryle,et al.  心的概念 = The concept of mind , 1962 .

[10]  James E. Tomayko,et al.  Software Engineering Education , 1987, Springer New York.

[11]  K. Popper,et al.  Conjectures and Refutations , 1963 .

[12]  Jim Woodcock,et al.  Software engineering mathematics : formal methods demystified , 1988 .

[13]  F. Reif,et al.  Problem solving and education: Issues in teaching and research , 1980 .

[14]  Martin Loomes,et al.  Applying software metrics to formal specifications: a cognitive approach , 1998, Proceedings Fifth International Software Metrics Symposium. Metrics (Cat. No.98TB100262).

[15]  Ian J. Hayes,et al.  Specification case studies , 1987 .

[16]  Dines Bjørner,et al.  Pinnacles of software engineering: 25 years of formal methods , 2000, Ann. Softw. Eng..

[17]  Martin James Loomes.  Software engineering curriculum design , 1991 .