Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 90



51
TÍTULO: Translating between Alloy specifications and UML class diagrams annotated with OCL  Full Text
AUTORES: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 35
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
52
TÍTULO: BenchmarX PDF
AUTORES: Anthony Anjorin; Alcino Cunha ; Holger Giese; Frank Hermann; Arend Rensink; Andy Schürr;
PUBLICAÇÃO: 2014, FONTE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014., VOLUME: 1133
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
53
TÍTULO: Bidirectional Spreadsheet Formulas
AUTORES: Nuno Macedo ; Hugo Pacheco ; Nuno Rocha Sousa; Alcino Cunha ;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
54
TÍTULO: Bounded Model Checking of Temporal Formulas with Alloy
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2014, FONTE: 4th International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ) in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, VOLUME: 8477
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
55
TÍTULO: Target Oriented Relational Model Finding
AUTORES: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411
INDEXADO EM: Scopus DBLP CrossRef: 20
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
56
TÍTULO: Towards a framework for multidirectional model transformations PDF
AUTORES: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLICAÇÃO: 2014, FONTE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
57
TÍTULO: A Generic Scheme and Properties of Bidirectional Transformations PDF
AUTORES: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1306.4473
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
58
TÍTULO: Composing Least-change Lenses
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 57
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
59
TÍTULO: Implementing QVT-R Bidirectional Model Transformations Using Alloy
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793
INDEXADO EM: Scopus WOS DBLP CrossRef: 30
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
60
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: 22
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 6 de 9. Total de resultados: 90.

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

Links Úteis

Ajuda

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