Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Confirmed Publications: 56



51
TITLE: A Generic Scheme and Properties of Bidirectional Transformations
AUTHORS: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1306.4473
INDEXED IN: DBLP
IN MY: ORCID | CIÊNCIAVITAE
52
TITLE: Composing Least-change Lenses
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 57
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
53
TITLE: Implementing QVT-R Bidirectional Model Transformations Using Alloy
AUTHORS: Macedo, N ; Cunha, A ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793
INDEXED IN: Scopus WOS DBLP CrossRef: 32
IN MY: ORCID | CIÊNCIAVITAE
54
TITLE: Model Repair and Transformation with Echo
AUTHORS: Macedo, N ; Guimaraes, T; Cunha, A ;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE)
INDEXED IN: Scopus WOS DBLP CrossRef: 24
IN MY: ORCID | CIÊNCIAVITAE
55
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
INDEXED IN: DBLP
IN MY: ORCID | CIÊNCIAVITAE
56
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
Page 6 of 6. Total results: 56.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service