The Library
Motivating study of formal methods in the classroom
Tools
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. ISBN 3-540-23611-2. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
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 | ||||
Official Date: | 2004 | ||||
Dates: |
|
||||
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 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |