Formal Methods in Software Engineering

FMSE is a curricular unit offered by the Theory and Formal Methods Group according to the Bologna recommendations (2nd cycle).

This unit stems from more than 20 years of experience at Minho in teaching, researching and applying rigorous methods in the construction of software. Its main aim is to provide a consistent and solid answer to the requirements and challenges of the information age.

By resorting to the formal foundations of modelling, reasoning, programming and testing, this offer bears a special mark into the way future professionals are trained to meet high-quality standards in the design of software solutions to real-life problems. This aim is captured by the following «stamp», which software professionals should endeavour to be able to stick to IT products and services:

FMSE consists of four 5 ETCS modules on specialized topics which are linked together by a 10 ECTS lab module which acts as knowledge integration bus This structure is intended to support the unit's overall aim of ensuring that solid theoretical knowledge finds its way to practice and real-life application. This strong blend between theory and practice is central to this unit's mission statement.

MFES participates in the proposed FAST Erasmus Mundus Master on Foundations and Applications of Software Technology), in partnership with Utrecht and Chalmers universities.

Scientific Coordination

• José Nuno Oliveira
• Luís Soares Barbosa
• Manuel Alcino Cunha
• Joost Visser

Learning Outcomes

• Create, analyse, refine, classify, animate, test, transform and calculate with abstract models of requirements in software engineering.
• Transform specifications of complex information systems into efficient implementations on diverse technologies and platforms.
• Model, analyse, classify and transform component interaction patterns, modular strategies (components, objects, services) and software architectural schemes.
• Select and use tools for program analysis.
• Perform software quality control and plan / execute projects in software testing.
• Document and justify software design decisions based on accurate software modelling and reasoning.
• Manage software engineering projects in an integrated way from conception to implementation, testing and deployment.

Contents

• FM - Formal Methods (5 ECTS)
• CIS - Calculus of Information Systems (5 ECTS)
• PSA - Processes and Software Architectures (5 ECTS)
• SAT - Software Analysis and Testing (5 ECTS)
• IP - Integrated Project (10 ECTS)

A detailed decription of these units can be found in PDF

Sponsors