Motivating study of formal methods in the classroom
UNSPECIFIED (2004) Motivating study of formal methods in the classroom. In: Symposium on Teaching Formal Methods (TFM 2004), Univ Ghent, Ghent, BELGIUM, NOV 18-19, 2004. Published in: TEACHING FORMAL METHODS, PROCEEDINGS, 3294 pp. 32-46.Full text not available from this repository.
One challenge to Formal Methods educators is the need to motivate students both to choose our courses and to continue studying them. In this paper we consider the question of motivation from two angles. Firstly, we provide small examples designed to overcome the "mental resistance" often found in typical students studying introductory formal methods courses. The examples illustrate advantages of a formal approach, and can be appreciated by both novice and experienced programmers. The second part of the paper considers the questions of motivation more generally and raises for debate a number of relevant issues.
|Item Type:||Conference Item (UNSPECIFIED)|
|Subjects:||Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software|
|Series Name:||LECTURE NOTES IN COMPUTER SCIENCE|
|Journal or Publication Title:||TEACHING FORMAL METHODS, PROCEEDINGS|
|Editor:||Dean, CN and Boute, RT|
|Number of Pages:||15|
|Page Range:||pp. 32-46|
|Title of Event:||Symposium on Teaching Formal Methods (TFM 2004)|
|Location of Event:||Univ Ghent, Ghent, BELGIUM|
|Date(s) of Event:||NOV 18-19, 2004|
Actions (login required)