Software Architecture and Calculi 2020-21

Perfil de Métodos Formais em Engenharia de Software

Dep. Informática, Universidade do Minho

Objectives

The course provides a perspective on process algebra (architecture & calculi).

We start with well-established classical and probabilistic process algebras and illustrate their use in software engineering.

Given the rapid emergence of cyber-physical systems, we next give a special focus to timed and cyber-physical process algebras.

Finally, we lean on more uniform notions and techniques in process algebra, with the goal of giving theoretical foundations to the student and the tools necessary for (s)he to smoothly learn/adapt to modeling and reasoning about software composition in different computational paradigms.

This final part of the course will have a more theoretical, research-centred character, briefly presenting current research challenges.

Syllabus

Summaries (2020-21)

Virtual classroom: ⚠ Links available in the summaries below ⚠

NOTE: Video record available from the course BlackBoard platform (in contents)

Support

Notes
Links

Bibliography

Pragmatics

Assessment

1º Trabalho prático
O primeiro trabalho prático vai incidir na modelação e análise de um sistema ciber-físico com base na ferramenta UPPAAL. Datas relevantes:
2º Trabalho prático
O segundo trabalho prático vai incidir na modelação e análise de um sistema ciber-físico com recurso a mónadas. Datas relevantes:
Lecturers

Contact