
02367097
a
2006c.01979
Norcliffe, A.
Thomlinson, M.M.
Modelling casestudies at the MathsIT interface: using formal methods in the software development process.
Blum, W. et al., Applications and modelling in learning and teaching mathematics. Ellis Horwood Ltd., Chichester (ISBN 0745803555). 417423 (1989).
1989
Ellis Horwood Ltd., Chichester
EN
M55
C75
R25
software engineering
mathematical applications
boolean algebra
mathematics and computer science
The Applied Science degree at Sheffield City Polytechnic was expanded in 1982 to include a subject area called Computing and Applicable Mathematics, or CAM for short. CAM is studied along with another science subject to make up the two subjects in the Applied Science degree. In teaching CAM we have found the use of modelling case studies invaluable. They are ideal for integrating subject studies in mathematics and computing an provide and excellent forum for developing the wider skills required by industry. In this chapter, which is the first of two looking specifically at finalyear modelling case studies at the MathsIT (Information Technology) interface, we report on a case study concerned with using formal methods in the software development process. (authors' summary)