Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 48 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2016An automated model based approach to mobile UI specification and developmentRibeiro, António Nestor; Costa, Rogério AraújoArtigo em ata de conferênciaAcesso aberto
2014Towards a framework for adaptive web applicationsSampaio, Ana I.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2015An ORCID based synchronization framework for a national CRIS ecosystemMoreira, João Mendes; Cunha, Alcino; Macedo, Nuno Filipe MoreiraArtigoAcesso aberto
Out-2003Towards peer-to-peer content indexingBaquero, Carlos; Lopes, Nuno Alberto FerreiraArtigo em ata de conferênciaAcesso aberto
2014Formal aspects of component software (FACS 2010 selected and extended papers)Barbosa, L. S.; Lumpe, MarkusEditorial em revistaAcesso aberto
2014CAOVerif: an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe; Pinto, Jorge Sousa; Vieira, Bárbara Isabel SousaArtigoAcesso aberto
2021Development and validation of a descriptive cognitive model for predicting usability issues in a low-code development platformSilva, Carlos César Loureiro; Vieira, Joana; Campos, José C.; Couto, Rui; Ribeiro, António NestorArtigoAcesso 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
2022Merging cloned Alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigoAcesso aberto
2016Evaluating refactorings for spreadsheet modelsCunha, Jácome; Fernandes, João Paulo; Martins, Pedro; Mendes, Jorge; Pereira, Rui; Saraiva, JoãoArtigoAcesso restrito UMinho