FM Teaching at The University of Minho
[ DI/UM ]

By J.N. Oliveira

[NB: This page is still under construction]

Introduction

This section summarizes the experience gathered at Minho University in teaching formal methods (FM) for software development at undergraduate level.

These methods have been taught to Minho undergrads since 1984. VDM was by and large the methodology taught in the period 1984-1988, to 4th year students of the Licenciatura em Engenharia de Sistemas e Informática.

It is only after the first steps of the SETS notation and calculus and the advent of the CAMILA rapid prototyping environment that such teaching becomes systematic in following the particular ``Formal Method Life Cycle'' which is adopted nowadays. The CAMILA toolbox is introduced already in 2nd year introductory course on FMs (see below).

The SETS methodology has been taught since 1989 to 4th and 5th year students of the Licenciatura em Matemática e Ciências da Computação (where FMs are compulsory) and of the Licenciatura em Engenharia de Sistemas e Informática (where FMs are optional).

Some details about this local ``FM flavour'' can be found in e.g. The CAMILA/SETS Approach.

Current Courses

NB: All links in this section point to World Wide Web pages written in Portuguese.

• Métodos da Programação I, LMCC (2:1) + LESI(2:1)
• Métodos Formais de Programação I, LMCC (4:1) + LESI(4:1)
• Métodos Formais de Programação II, LMCC (4:2) + LESI(4:2)
• Opção VI - Complementos de Especificação e Semântica, LMCC (5:1)
• Especificação e Desenvolvimento Formal de Software, Mestrado em Informática (1:1)

(This list is not complete.)

[ Back to the FME Portugal HUB ]