Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 33 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Nov-2009Implementation of an orchestration language as a haskell domain specific languageCampos, Marco Devesas; Barbosa, L. S.ArtigoAcesso aberto
2010A coordination model for interactive componentsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2011The role of coordination analysis in software integration projectsRodrigues, Nuno F.; Oliveira, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Refinement by interpretation in φ-institutionsRodrigues, César J.; Martins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2008An exercise on transition systemsRibeiro, Paula R.; Barbosa, L. S.; Wang, ShulingArtigoAcesso aberto
2006Generic process algebra: a programming challengeBarbosa, L. S.; Barbosa, Marco António; Ribeiro, Paula R.ArtigoAcesso aberto
2005From algebras to objects: generation and compositionCruz, A. Miguel; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigoAcesso aberto
Out-2010Slicing for architectural analysisRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
2011Hybrid specification of reactive systems: an institutional approachMadeira, A.; Faria, José Miguel; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2005Architectural prototyping: from ccs to .netRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
1-10 de um total de 33 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir