UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Using formal methods for teaching software engineering: a tool-based approach

Ciancarini, P; Mascolo, C; (1998) Using formal methods for teaching software engineering: a tool-based approach. ANN SOFTW ENG , 6 433 - 453.

Full text not available from this repository.

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 for teaching software engineering: a tool-based approach
Keywords:SPECIFICATIONS, DESIGN
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record