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: Join here every week

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

Support

Notes
Links

Bibliography

Pragmatics

Assessment

Lecturers

Contact