Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 39 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2022Merging cloned Alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigoAcesso aberto
2021Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José; Carvalho, Renato; Silva, Ricardo; Paiva, Ana C.R.; Sozinho Ramalho, Miguel; Silva, DanielArtigoAcesso restrito UMinho
Ago-2020Supporting the analysis of safety critical user interfaces: an exploration of three formal toolsCampos, José C.; Fayollas, Camille; Harrison, Michael D.; Martinie, Célia; Masci, Paolo; Palanque, PhilippeArtigoAcesso aberto
2016Evaluating refactorings for spreadsheet modelsCunha, Jácome; Fernandes, João Paulo; Martins, Pedro; Mendes, Jorge; Pereira, Rui; Saraiva, JoãoArtigoAcesso restrito UMinho
Out-2018Hierarchical hybrid logicMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Martins, Manuel A.; Barbosa, L. S.ArtigoAcesso aberto
2019Generalising KAT to verify weighted computationsGomes, Leandro; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2021Balancing the formal and the informal in user-centred designHarrison, Michael D.; Masci, Paolo; Campos, José C.ArtigoAcesso aberto
2023MRVs: enforcing numeric invariants in parallel updates to hotspots with randomized splittingFaria, Nuno; Pereira, JoséArtigoAcesso restrito UMinho
2020Data governance: Organizing data for trustworthy Artificial IntelligenceJanssen, Marijn; Brous, Paul; Estevez, Elsa; Barbosa, L. S.; Janowski, TomaszArtigoAcesso aberto
Dez-2020Ranking programming languages by energy efficiencyPereira, Rui Alexandre Afonso; Couto, Marco; Ribeiro, Francisco José Torres; Rua, Rui António Ramada; Cunha, Jácome; Fernandes, João Paulo Sousa Ferreira; Saraiva, JoãoPreprintAcesso aberto
1-10 de um total de 39 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir