The Library
Motivating study of formal methods in the classroom
Tools
Tools
Tools
UNSPECIFIED (2004) Motivating study of formal methods in the classroom. In: Symposium on Teaching Formal Methods (TFM 2004), NOV 18-19, 2004, Univ Ghent, Ghent, BELGIUM.
Full text not available from this repository.Abstract
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 |
| Publisher: | SPRINGER-VERLAG BERLIN |
| ISBN: | 3-540-23611-2 |
| ISSN: | 0302-9743 |
| Editor: | Dean, CN and Boute, RT |
| Date: | 2004 |
| Volume: | 3294 |
| Number of Pages: | 15 |
| Page Range: | pp. 32-46 |
| Publication Status: | Published |
| 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 |
| URI: | http://wrap.warwick.ac.uk/id/eprint/7506 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
 |
View Item |
