Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 62 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2005Camila revival: VDM meets haskellVisser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S.; Ferreira, João Fernando; Mendes, AlexandraArtigo em ata de conferênciaAcesso aberto
1999Prototyping processesBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2014Quantitative analysis of reo- based service coordinationOliveira, Nuno; Silva, Alexandra M.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2007Modelling is for reasoningBarbosa, L. S.; Martinho, Maria HelenaCapítulo de livroAcesso aberto
2012Exploiting the FLOSS paradigm in collaborative e-learning: application to e-governmentFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013Reconfiguration mechanisms for service coordinationOliveira, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
1997CAMILA: prototyping and refinement of constructive specificationsAlmeida, José João; Barbosa, L. S.; Neves, F. L.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2013On the reconfiguration of software connectorsOliveira, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2014A preliminary analysis of learning awareness in FLOSS projectsFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2004On semantics and refinement of UML statecharts: a coalgebraic viewSun Meng; Zhang Naixiao; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 62 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir