Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 16 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
8-Mar-2011Algebraic specialization of generic functions for recursive typesCunha, Alcino; Pacheco, HugoArtigoAcesso aberto
1-Fev-2017Bidirectional Transformations (Bx 2015) Special Section: EditorialCunha, Alcino; Kindler, EkkartEditorial em revistaAcesso aberto
Abr-2015Exploring scenario explorationMacedo, Nuno Filipe Moreira; Cunha, Alcino; Guimarães, Tiago Miguel MoreiraArtigo em ata de conferênciaAcesso aberto
2010Generic point-free lensesPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2016Least - change bidirectional model transformation With QVT- R and ATLMacedo, Nuno Filipe Moreira; Cunha, AlcinoArtigoAcesso aberto
2015Translating between Alloy specifications and UML class diagrams annotated with OCLCunha, Alcino; Garis, Ana; Riesco, DanielArtigoAcesso aberto
2017Composition in state-based replicated data typesBaquero, Carlos; Almeida, Paulo Sergio; Cunha, Alcino; Ferreira, CarlaArtigoAcesso aberto
13-Dez-2017Mining the usage patterns of ROS primitivesSantos, André Fernandes; Cunha, Alcino; Macedo, Nuno; Arrais, Rafael; Dos Santos, Filipe NevesArtigo em ata de conferênciaAcesso aberto
1-Jun-2011Transformation of structure-shy programs with application to XPath queries and strategic functionsCunha, Alcino; Visser, JoostArtigoAcesso aberto
2013Implementing QVT-R bidirectional model transformations using alloyMacedo, Nuno; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 16 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir