| dc.contributor.author | Loomes, M. | |
| dc.contributor.author | Christianson, B. | |
| dc.contributor.author | Davey, N. | |
| dc.date.accessioned | 2009-06-17T10:04:20Z | |
| dc.date.available | 2009-06-17T10:04:20Z | |
| dc.date.issued | 2004 | |
| dc.identifier.citation | Loomes , M , Christianson , B & Davey , N 2004 , ' Formal Systems, Not Methods ' , Lecture Notes in Computer Science (LNCS) , no. Teaching Formal Methods , pp. 47-64 . | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.other | dspace: 2299/3597 | |
| dc.identifier.other | ORCID: /0000-0002-3777-7476/work/76728347 | |
| dc.identifier.uri | http://hdl.handle.net/2299/3597 | |
| dc.description | “The original publication is available at www.springerlink.com”. Copyright Springer [Full text of this article is not available in the UHRA] | |
| dc.description.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. | en |
| dc.language.iso | eng | |
| dc.relation.ispartof | Lecture Notes in Computer Science (LNCS) | |
| dc.title | Formal Systems, Not Methods | en |
| dc.contributor.institution | School of Computer Science | |
| dc.contributor.institution | Science & Technology Research Institute | |
| dc.description.status | Peer reviewed | |
| rioxxterms.type | Journal Article/Review | |
| herts.preservation.rarelyaccessed | true | |
