HASLab - Resumos em livros de atas : [11] 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-11 de um total de 11
DataTítuloAutor(es)TipoAcesso
2017Um editor tabular para modelação de interfacesMachado, Pedro; Couto, Rui; Campos, José C.conferenceAbstractopenAccess
2017Avaliação de usabilidade da ferramenta uCatCouto, Rui; Ribeiro, António Nestor; Campos, José C.conferenceAbstractopenAccess
2017De requisitos a protótipos de UI: uma abordagem semi automatizadaCouto, Rui; Ribeiro, António Nestor; Campos, José C.conferenceAbstractopenAccess
2013A pilot project on non-conventional learningFernandes, Sara; Cerone, Antonio; Barbosa, L. S.conferencePaperopenAccess
2013Towards a mostly-automated prover for bit-vector arithmeticAbal, Iago; Pinto, Jorge SousaconferencePaperrestrictedAccess
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al.conferenceAbstractopenAccess
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.conferenceAbstractopenAccess
2012Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.conferenceAbstractopenAccess
2013Using abstract interpretation to produce dependable aerospace control softwareSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al.conferencePaperopenAccess
2012Using term rewriting to solve bit-vector arithmetic problems - (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.conferencePaperopenAccess
2011Gestão e manutenção de múltiplos terminais em redes de próxima geraçãoGomes, Alberto; Azevedo, Ricardo; Carvalho, Paulo, et al.conferenceAbstractopenAccess
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-11 de um total de 11