Ciancarini, P.;
Mascolo, C.;
(1998)
Using formal methods to teach software engineering: a tool-based approach.
Annals of Software Engineering
, 6
(1-4)
pp. 433-453.
10.1023/A:1018921801906.
![[thumbnail of 10.8_using_formal]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
10.8_using_formal Download (268kB) |
Abstract
In this paper we describe and review the course plan and syllabus we use in a course on formal methods in software engineering currently included in the degree in Informatics of the Faculty of Sciences at the University of Bologna. The course matches the theory of formal methods with their practice based on actual tool usage. In fact, the course is centered upon a project whose main goal is to let students learn some formal specification techniques, all supported by specific tools. The students use well-known notations for both requirements specification and formal design. The formal methods we use are based on the Z notation for requirements specification and on the Larch family of languages for design specifications.
| Type: | Article |
|---|---|
| Title: | Using formal methods to teach software engineering: a tool-based approach |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1023/A:1018921801906 |
| Publisher version: | http://www.springerlink.com/openurl.asp?genre=arti... |
| Language: | English |
| Additional information: | The original publication is available at http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1018921801906 |
| URI: | https://discovery.ucl.ac.uk/id/eprint/939 |
Archive Staff Only
 |
View Item |
