Mostrar 1-5 de um total de 5 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
11-Mai-2009 | Foundations of program refinement by calculation | Rodrigues, César J. | Tese de doutoramento | Acesso aberto |
2006 | Pointfree factorization of operation refinement | Oliveira, José Nuno Fonseca; Rodrigues, César J. | Artigo em ata de conferência | Acesso aberto |
2011 | Refinement by interpretation in φ-institutions | Rodrigues, César J.; Martins, Manuel A.; Madeira, A., et al. | Artigo em ata de conferência | Acesso aberto |
2011 | Revisiting context-aware component interconnection | Barbosa, L. S.; Barbosa, Marco António; Rodrigues, César J. | Artigo em ata de conferência | Acesso aberto |
2009 | A single complete relational rule for coalgebraic refinement | Rodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S. | Artigo | Acesso aberto |