UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Using formal methods to teach software engineering: a tool-based approach

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. Green open access

[thumbnail of 10.8_using_formal] 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
Downloads since deposit
289Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item