Login / Signup
Nuno Macedo
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Real World
Formal Specification
Metadata
Fuzzy Neural
Top Venues
Int. J. Softw. Tools Technol. Transf.
SEET@ICSE
ABZ
</>
Publications
</>
Pedro Silva
,
Alcino Cunha
,
Nuno Macedo
,
José N. Oliveira
Alloy Goes Fuzzy.
ABZ
(2024)
Alcino Cunha
,
Nuno Macedo
,
Chong Liu
Validating multiple variants of an automotive light system with Alloy 6.
Int. J. Softw. Tools Technol. Transf.
26 (3) (2024)
Alcino Cunha
,
Nuno Macedo
,
José Creissac Campos
,
Iara Margolis
,
Emanuel Sousa
Assessing the impact of hints in learning formal specification.
SEET@ICSE
(2024)