Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 22 resultados (tempo de pesquisa: 0.031 segundos).
DataTítuloAutor(es)TipoAcesso
2011Logic training through algorithmic problem solvingFerreira, João Fernando; Mendes, Alexandra; Cunha, Alcino; Baquero, Carlos; Silva, Paulo; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
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
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
2011Models as arrows: the role of dialgebrasMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Towards rigorous analysis of open source softwareBarbosa, L. S.; Henriques, Pedro Rangel; Sanchez, AlejandroArtigo em ata de conferênciaAcesso aberto
2010Certification of open-source software : a role for formal methods?Barbosa, L. S.; Cerone, Antonio; Petrenko, Alexander; Shaikh, Siraj A.ArtigoAcesso aberto
2010Should mathematics remain invisible?Martinho, Maria Helena; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Revisiting context-aware component interconnectionBarbosa, L. S.; Barbosa, Marco António; Rodrigues, César J.Artigo em ata de conferênciaAcesso aberto
Out-2010Slicing for architectural analysisRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
1-10 de um total de 22 resultados (tempo de pesquisa: 0.031 segundos).

Descobrir