GLOSS - Group LaSIGE of Software Systems

Group Tabs


The interests of the group comprise concurrent, distributed and adaptive systems. The main focus is on the study of modelling techniques and formal analysis approaches to system structure and behaviour. The group also addresses methods and tools for enhancing the software engineering practice, within a software engineering perspective

Group Coordinator: