1. Universidade do Minho
  2. Escola de Engenharia | School of Engineering
  3. HASLab - High-Assurance Software Laboratory

HASLab - Resumos em livros de atas : [13] Estatísticas

Percorrer
Ativar alerta na coleção para receber notificações por e-mail de novas entradas RSS Feed RSS Feed RSS Feed
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-13 de um total de 13
DataTítuloAutor(es)TipoAcesso
2023HCI-E2 -2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering EducationCampos, José C.; Nigay, Laurence; Dix, Alan, et al.Artigo em ata de conferênciaAcesso embargado (6 Meses)
2021The management of risks and benefits when engineering interactive digital systemsCampos, José C.; Graham, T. C. Nicholas; Spano, Lucio Davide, et al.Artigo em ata de conferênciaAcesso aberto
2017Um editor tabular para modelação de interfacesMachado, Pedro; Couto, Rui; Campos, José C.Resumo em ata de conferência Acesso aberto
2017Avaliação de usabilidade da ferramenta uCatCouto, Rui; Ribeiro, António Nestor; Campos, José C.Resumo em ata de conferência Acesso aberto
2017De requisitos a protótipos de UI: uma abordagem semi automatizadaCouto, Rui; Ribeiro, António Nestor; Campos, José C.Resumo em ata de conferência Acesso aberto
2013A pilot project on non-conventional learningFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013Towards a mostly-automated prover for bit-vector arithmeticAbal, Iago; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al.Resumo em ata de conferência Acesso aberto
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.Resumo em ata de conferência Acesso aberto
2012Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.Resumo em ata de conferência Acesso aberto
2013Using abstract interpretation to produce dependable aerospace control softwareSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al.Artigo em ata de conferênciaAcesso aberto
2012Using term rewriting to solve Bit-vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.Artigo em ata de conferênciaAcesso aberto
2011Gestão e manutenção de múltiplos terminais em redes de próxima geraçãoGomes, Alberto; Azevedo, Ricardo; Carvalho, Paulo, et al.Resumo em ata de conferência Acesso aberto
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-13 de um total de 13

Entradas recentes

HCI-E2 -2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education

The management of risks and benefits when engineering interactive digital systems

Um editor tabular para modelação de interfaces

Avaliação de usabilidade da ferramenta uCat

De requisitos a protótipos de UI: uma abordagem semi automatizada

 

Descobrir