Mostrar 1-20 de um total de 30 resultados.
próximo >
Data | Título | Autor(es) | Tipo | Acesso |
2015 | An ORCID based synchronization framework for a national CRIS ecosystem | Moreira, João Mendes; Cunha, Alcino; Macedo, Nuno Filipe Moreira | Artigo | Acesso aberto |
2014 | Bidirectional spreadsheet formulas | Pacheco, Hugo; Macedo, Nuno Filipe Moreira; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2013 | Composing least-change lenses | Macedo, Nuno Filipe Moreira; Pacheco, Hugo; Cunha, Alcino, et al. | Artigo | Acesso aberto |
2020 | Experiences on teaching alloy with an automated assessment platform | Macedo, Nuno; Cunha, Alcino; Pereira, José, et al. | Artigo em ata de conferência | Acesso aberto |
Set-2017 | Exploiting partial knowledge for efficient model analysis | Macedo, Nuno; Cunha, Alcino; Pessoa, Eduardo José Dias | Artigo em ata de conferência | Acesso aberto |
Abr-2015 | Exploring scenario exploration | Macedo, Nuno Filipe Moreira; Cunha, Alcino; Guimarães, Tiago Miguel Moreira | Artigo em ata de conferência | Acesso aberto |
Jul-2017 | A feature-based classification of model repair approaches | Macedo, Nuno; Jorge, Tiago Manuel Silva; Cunha, Alcino | Artigo | Acesso aberto |
Dez-2016 | A framework for quality assessment of ROS repositories | Santos, André Filipe Faria; Cunha, Alcino; Macedo, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
2013 | Implementing QVT-R bidirectional model transformations using alloy | Macedo, Nuno; Cunha, Alcino | Artigo em ata de conferência | Acesso aberto |
2018 | Improving the visualization of alloy instances | Couto, Rui; Campos, José C.; Macedo, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
2016 | Least - change bidirectional model transformation With QVT- R and ATL | Macedo, Nuno Filipe Moreira; Cunha, Alcino | Artigo | Acesso aberto |
Jan-2016 | Lightweight specification and analysis of dynamic systems with rich configurations | Macedo, Nuno; Brunel, Julien; Chemouil, David, et al. | Artigo em ata de conferência | Acesso aberto |
1-Jan-2020 | Merging cloned alloy models with colorful refactorings | Liu, Chong; Macedo, Nuno; Cunha, Alcino | Artigo em ata de conferência | Acesso aberto |
13-Dez-2017 | Mining the usage patterns of ROS primitives | Santos, André Fernandes; Cunha, Alcino; Macedo, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
2013 | Model repair and transformation with Echo | Macedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel Moreira; Cunha, Alcino | Artigo em ata de conferência | Acesso aberto |
2018 | Property-based testing for the robot operating system | Santos, André; Cunha, Alcino; Macedo, Nuno | Artigo em ata de conferência | Acesso aberto |
2018 | Proposition of an action layer for electrum | Brunel, Julien; Chemouil, David; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2012 | Relations as executable specifications: taming partiality and non-determinism using invariants | Macedo, Nuno; Pacheco, Hugo; Cunha, Alcino | Artigo em ata de conferência | Acesso aberto |
2019 | Simplifying the analysis of software design variants with a colorful alloy | Liu, Chong; Macedo, Nuno; Cunha, Alcino | Artigo em ata de conferência | Acesso aberto |
2019 | Simulation under arbitrary temporal logic constraints | Brunel, Julien; Chemouil, David; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |