Boyatt, Russell and Sinclair, Jane (2008) Experiences of teaching a lightweight formal method. In: Formal Methods in Computer Science Education, Budapest, Hungary, 29 Mar-6 Apr 2008 (Unpublished)
Preview |
PDF
WRAP_Boyatt_formed.pdf - Requires a PDF viewer. Download (326kB) | Preview |
Abstract
This paper reports our experience of using a "lightweight" formal approach, Alloy, and its associated tool support for teaching a core undergraduate module introducing formal methods. It considers the benefits and drawbacks in terms of both the student experience and our own aims and objectives for the module. In addition, we link the practical, experimental approach supported by the Alloy Analyzer to educational theory and consider the implications of such an approach to teaching and learning.
| Item Type: | Conference Item (Paper) |
|---|---|
| Subjects: | L Education > LB Theory and practice of education > LB2300 Higher Education Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software |
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science |
| Library of Congress Subject Headings (LCSH): | Formal methods (Computer science) -- Study and teaching |
| Official Date: | April 2008 |
| Dates: | Date Event April 2008 Available |
| Status: | Peer Reviewed |
| Publication Status: | Unpublished |
| Conference Paper Type: | Paper |
| Title of Event: | Formal Methods in Computer Science Education |
| Type of Event: | Workshop |
| Location of Event: | Budapest, Hungary |
| Date(s) of Event: | 29 Mar-6 Apr 2008 |
| Related URLs: | |
| URI: | https://wrap.warwick.ac.uk/60398/ |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |