Formal Systems, Not Methods

M. Loomes, B. Christianson, N. Davey

    Research output: Contribution to journalArticlepeer-review

    2 Citations (Scopus)


    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.
    Original languageEnglish
    Pages (from-to)47-64
    JournalLecture Notes in Computer Science (LNCS)
    Issue numberTeaching Formal Methods
    Publication statusPublished - 2004


    Dive into the research topics of 'Formal Systems, Not Methods'. Together they form a unique fingerprint.

    Cite this