INESC TEC team contributed to a new version of Alloy modelling language
Alcino Cunha and Nuno Macedo, INESC TEC researchers, contributed to the development of Alloy...
INESC TEC researchers acknowledged at international conference on software engineering
The paper "Schema-guided Testing of Message-oriented Systems", by Alcino Cunha and Nuno Macedo, researchers...