Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 11-20 de um total de 22 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2009Refinement via interpretationMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2009Refinement by interpretation in a general settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.ArtigoAcesso aberto
2009UML model refactoring as refinement: a coalgebraic perspectiveBarbosa, L. S.; Meng, SunArtigo em ata de conferênciaAcesso aberto
2008COORDINSPECTOR : a tool for extracting coordination data from legacy codeRodrigues, Nuno F.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2008A relational model for confined separation logicWang, Shuling; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2009A single complete relational rule for coalgebraic refinementRodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
2005On refinement of software architecturesMeng, Sun; Barbosa, L. S.; Naixiao, ZhangArtigo em ata de conferênciaAcesso aberto
2006Transposing partial components: an exercise on coalgebraic refinementOliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
2007Towards a coordination model for interactive systemsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigoAcesso aberto
2007Configurations of web servicesBarbosa, Marco António; Barbosa, L. S.ArtigoAcesso aberto
11-20 de um total de 22 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir