MFP
| Formal Methods in Software Engineering |
|---|
| Information Systems by Calculation |
| Cyber-Physical Programming |
| Formal Verification |
| Formal Methods Project |
| Past editions |
| Calendar |
| Alumni |
CSI/2026-27
Information Systems by Calculation
2026/27
Announcements
-
15-Oct - The practical exercise sheet
nr.1 that has just been published should be worked at home. It will be discussed later in class (22-Oct). -
21-Jul: classes will start on Thu, 24-Sep, 9h00 (room
E7-0.04).
Introduction
In real life, everything seems to be some kind of relation: professional, institutional, romantic, numerical, international, family relations, … relations, … relations.
How would it be possible to teach all this to a computer system without seriously studying what a relation is, in the formal sense of the term, and how to reason (mathematically) only with relations?
Such is, in brief, the main objective of this course.
Course contents (Learning Outcomes)
See Institutional Page (PT+EN versions).
Class abstracts
See the course’s timetable.
Course notes & other materials
Please click here.
Assessment
The assessment elements for this course are:
-
E - written exam (individual, closed-book)
-
O - oral presentation (individual) of a technical paper in the scientific area of the course
-
P - group project of 3 students.
Assessment options:
-
Method A) E + O weighing 60% and 40% of the final grade, respectively. The maximum grade in this method is 14 points.
-
Method B) E + O + P with weights of 40%, 20%, and 40% of the final grade, respectively. The project (P) is assessed through an oral defense.
Timetable / Teachers
| Teacher | Photo | Classes | Room |
|---|---|---|---|
| José Nuno Oliveira |  |
Thursday, 09h00-10h30h (T) | E7-0.04 |
| Luís Soares Barbosa |  |
Thursday, 10h30-12h00 (TP) | E7-0.04 |
Bibliography
Main
- J.N. Oliveira. Program Design by Calculation, Departamento de Informática, Universidade do Minho. Textbook in preparation (current version: Sept. 2026). Chapters relevant for this course: 5, 6, 7 (and possibly 8, time permitting).
Auxiliary
- D. Jackson. Software abstractions: logic, language, and analysis. Revised edition, MIT Press, 2012.
- C.B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986 (first edition). (345 pages)