\input zb-basic
\input zb-matheduc
\iteman{ZMATH 2006c.01979}
\itemau{Norcliffe, A.; Thomlinson, M.M.}
\itemti{Modelling casestudies at the Maths-IT interface: using formal methods in the software development process.}
\itemso{Blum, W. et al., Applications and modelling in learning and teaching mathematics. Ellis Horwood Ltd., Chichester (ISBN 0-7458-0355-5). 417-423 (1989).}
\itemab
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 final-year modelling case studies at the Maths-IT (Information Technology) interface, we report on a case study concerned with using formal methods in the software development process. (authors' summary)
\itemrv{~}
\itemcc{M55 C75 R25}
\itemut{software engineering; mathematical applications; boolean algebra; mathematics and computer science}
\itemli{}
\end