Using PVSio-web as visual modelling and rapid prototyping tool for Alloy

12:30

José Pereira

A web based social environment for Alloy

13:00

Lunch

This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-016826.