Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 11-20 de um total de 34 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Out-2006A demonstration case on the transformation of software architectures for service specificationFernandes, João M.; Machado, Ricardo J.; Monteiro, Paula; Rodrigues, HelenaArtigo em ata de conferênciaAcesso aberto
2006Secure cryptographic workflow in the standard modelBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2006A comparison of algorithms for the optimization of fermentation processesMendes, Rui; Rocha, I.; Ferreira, Eugénio C.; Rocha, MiguelArtigo em ata de conferênciaAcesso aberto
2006Refinement of software architectures by recursive model transformationsFernandes, João M.; Machado, Ricardo J.; Monteiro, Paula; Rodrigues, HelenaArtigo em ata de conferênciaAcesso aberto
2006Generic process algebra: a programming challengeBarbosa, L. S.; Barbosa, Marco António; Ribeiro, Paula R.ArtigoAcesso aberto
2006Towards a catalogue of refactorings and code smells for AspectJFernandes, João M.; Monteiro, Miguel PessoaCapítulo de livroAcesso aberto
2006Formal models in web based contractingAnalide, César; Neves, José; Novais, Paulo; Machado, José Manuel; Andrade, Francisco Carneiro PachecoArtigo em ata de conferênciaAcesso aberto
Out-2006Towards a generic group communication serviceCarvalho, Nuno; Pereira, José; Rodrigues, LuísArtigo em ata de conferênciaAcesso aberto
2006Pointfree factorization of operation refinementOliveira, José Nuno Fonseca; Rodrigues, César J.Artigo em ata de conferênciaAcesso aberto
2006Type-safe two-level data transformationCunha, Alcino; Oliveira, José Nuno Fonseca; Visser, JoostArtigo em ata de conferênciaAcesso aberto