Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 151 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
2012Constraint-aware schema transformationAlves, Tiago L.; Silva, Paulo F.; Visser, JoostArtigoAcesso aberto
2016An automated model based approach to mobile UI specification and developmentRibeiro, António Nestor; Costa, Rogério AraújoArtigo 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
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
2011The role of coordination analysis in software integration projectsRodrigues, Nuno F.; Oliveira, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2014A virtual environment based serious game to support health educationGomes, Tiago Emanuel Oliveira; Abade, Tiago; Campos, J. Creissac; Harrison, Michael D.; Silva, José Luís CardosoArtigoAcesso aberto
1-10 de um total de 151 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir