Formal Systems, Not Methods

M. Loomes; B. Christianson; N. Davey

Formal Systems, Not Methods

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

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.

Original language	English
Pages (from-to)	47-64
Journal	Lecture Notes in Computer Science (LNCS)
Issue number	Teaching Formal Methods
Publication status	Published - 2004

Cite this

@article{a9274d9bfcee4ac3b9bb193db96d4aba,

title = "Formal Systems, Not Methods",

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.",

author = "M. Loomes and B. Christianson and N. Davey",

note = "“The original publication is available at www.springerlink.com”. Copyright Springer [Full text of this article is not available in the UHRA]",

year = "2004",

language = "English",

pages = "47--64",

journal = "Lecture Notes in Computer Science (LNCS)",

issn = "0302-9743",

publisher = "Springer Nature Link",

number = "Teaching Formal Methods",

}

TY - JOUR

T1 - Formal Systems, Not Methods

AU - Loomes, M.

AU - Christianson, B.

AU - Davey, N.

N1 - “The original publication is available at www.springerlink.com”. Copyright Springer [Full text of this article is not available in the UHRA]

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

M3 - Article

SN - 0302-9743

SP - 47

EP - 64

JO - Lecture Notes in Computer Science (LNCS)

JF - Lecture Notes in Computer Science (LNCS)

IS - Teaching Formal Methods

ER -

Formal Systems, Not Methods

Abstract

Fingerprint

Cite this