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
Dez-2017Verification of user interface software: the example of use-related safety requirements and programmable medical devicesHarrison, Michael douglas; Masci, Paolo; Campos, José C.; Curzon, PaulArtigoAcesso aberto
2018Delta state replicated data typesAlmeida, Paulo Sérgio; Shoker, Ali; Baquero, CarlosArtigoAcesso aberto
2013Automated theorem proving for the systematic analysis of interactive systemsHarrison, M. D.; Masci, P.; Campos, J. Creissac; Curzon, P.ArtigoAcesso aberto
2019Scalable eventually consistent counters over unreliable networksAlmeida, Paulo Sérgio; Baquero, CarlosArtigoAcesso aberto
1-10 de um total de 151 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir