Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 47 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2011On requirements engineering for reactive systems: a formal methodologyMadeira, A.; Faria, José Miguel; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Reasoning about complex requirements in a uniform settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Models as arrows: the role of dialgebrasMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Hybridization of institutionsMartins, Manuel A.; Madeira, A.; Diaconescu, R.; Barbosa, L. S.Artigo 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
Set-2012Software components as invariant-typed arrowsBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Shacc: a functional prototyper for a component calculusMartins, André Batista; Barbosa, L. S.; Rodrigues, Nuno F.Artigo em ata de conferênciaAcesso aberto
2008An exercise on transition systemsRibeiro, Paula R.; Barbosa, L. S.; Wang, ShulingArtigoAcesso aberto
2011A language for behavioural modelling of architectural patternsSanchez, Alejandro; Barbosa, L. S.; Riesco, DanielArtigo em ata de conferênciaAcesso aberto
2005From algebras to objects: generation and compositionCruz, A. Miguel; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigoAcesso aberto
1-10 de um total de 47 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir