Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 31-40 de um total de 48 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2014Characterizing the control logic of web applications’ user interfacesSilva, Carlos Eduardo; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2012Formal analysis of ubiquitous computing environments through the APEX frameworkSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2011Test case generation from mutated task modelsBarbosa, Ana; Paiva, Ana; Campos, J. CreissacArtigo em ata de conferênciaAcesso restrito UMinho
2014Design and evaluation of a smart library using the APEX frameworkAbade, Tiago; Gomes, Tiago; Silva, José Luís Cardoso; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2010The GUISurfer tool: towards a language independent approach to reverse engineering GUI codeSilva, João Carlos; Silva, Carlos; Gonçalo, Rui; Saraiva, João Alexandre; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2014The modelery: a collaborative web based repositoryCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2014A study on the viability of formalizing use casesCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2017Safety analysis of software components of a dialysis machine using model checkingHarrison, Michael douglas; Drinnan, M.; Campos, José C.; Masci, Paolo; Freitas, L.; Di Maria, C.; Whitaker, M.Artigo em ata de conferênciaAcesso aberto
2010Prototipagem rápida de ambientes ubíquosSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac; Fernandes, João M.; Harrison, Michael D.Artigo em ata de conferênciaAcesso aberto
2012Modelling and systematic analysis of interactive systemsHarrison, Michael D.; Masci, Paolo; Campos, J. Creissac; Thomas, NigelArtigo em ata de conferênciaAcesso aberto