Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 147 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
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
2011Models as arrows: the role of dialgebrasMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2017On infinitary equational hybrid logicMartins, M. A.; Madeira, Alexandre Leite Castro; Barbosa, L. S.Capítulo de livroAcesso aberto
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
2017Administrative burden reduction over time: Literature review, trends and gap analysisNielsen, Morten Meyerhoff; Carvalho, Nuno Alexandre Ramos; Veiga, Linda Gonçalves; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2017A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC servicesDantas, A. O.; Carvalho, F. H.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 147 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir