Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Publicações Confirmadas: 53



51
TÍTULO: Model Repair and Transformation with Echo
AUTORES: Nuno Macedo ; Tiago Guimaraes; Alcino Cunha ;
PUBLICAÇÃO: 2013, FONTE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE)
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | ResearcherID | DBLP
52
TÍTULO: Automatic Unbounded Verification of Alloy Specifications with Prover9 PDF
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1209.5773
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
53
TÍTULO: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
Página 6 de 6. Total de resultados: 53.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service