Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 74 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1-Fev-2017Bidirectional Transformations (Bx 2015) Special Section: EditorialCunha, Alcino; Kindler, EkkartEditorial em revistaAcesso aberto
2012Relations as executable specifications: taming partiality and non-determinism using invariantsMacedo, Nuno; Pacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso aberto
2007Transformation of structure-shy programs : applied to XPath queries and strategic functionsCunha, Alcino; Visser, JoostArtigo em ata de conferênciaAcesso aberto
8-Mar-2011Algebraic specialization of generic functions for recursive typesCunha, Alcino; Pacheco, HugoArtigoAcesso aberto
2010Generic point-free lensesPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
Abr-2015Exploring scenario explorationMacedo, Nuno Filipe Moreira; Cunha, Alcino; Guimarães, Tiago Miguel MoreiraArtigo em ata de conferênciaAcesso aberto
1-Jan-2015PrefaceCunha, Alcino; Kindler, EkkartEditorial em ata de conferênciaAcesso aberto
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
2011Translating Alloy Specifications to UML Class Diagrams Annotated with OCLRiesco, Daniel; Cunha, Alcino; Garis, AnaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 74 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir