Percorrer por revistas 73517
Mostrar 1-5 de um total de 5 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
Mar-2013 | Alloy meets the algebra of programming: a case study | Oliveira, José Nuno Fonseca; Ferreira, Miguel A. | Artigo | Acesso aberto |
2022 | Compiling Quantamorphisms for the IBM Q Experience | Neri, Ana; Barbosa, Rui Soares; Oliveira, José Nuno Fonseca | Artigo | Acesso restrito UMinho |
2015 | Embedding, evolution, and validation of model-driven spreadsheets | Cunha, Jácome Miguel Costa; Fernandes, João Paulo; Mendes, Jorge, et al. | Artigo | Acesso aberto |
Jul-2017 | A feature-based classification of model repair approaches | Macedo, Nuno; Jorge, Tiago Manuel Silva; Cunha, Alcino | Artigo | Acesso aberto |
2019 | Verification templates for the analysis of user interface software design | Harrison, Michael douglas; Masci, Paolo; Campos, José C. | Artigo | Acesso aberto |