Percorrer por autor 1076 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 132-151 de um total de 174 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2005A study on usability criteria regarding interfaces for childrenMano, Alexandre; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2011Supporting requirements formulation in software formal verificationCampos, J. Creissac; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2006Supporting resource-based analysis of task information needsCampos, J. Creissac; Doherty, Gavin J.Artigo em ata de conferênciaAcesso aberto
Ago-2020Supporting the analysis of safety critical user interfaces: an exploration of three formal toolsCampos, José C.; Fayollas, Camille; Harrison, Michael D., et al.ArtigoAcesso aberto
2015Supporting the design of an ambient assisted living system using virtual reality prototypesCampos, José C.; Abade, Tiago Filipe Azevedo; Silva, J. L., et al.Artigo em ata de conferênciaAcesso aberto
2008Systematic analysis of control panel interfaces using formal toolsCampos, José C.; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
21-Jun-2016Systematic automation of scenario-based testing of user interfacesCampos, José C.; Fayollas, Camille; Martinie, Célia, et al.Artigo em ata de conferênciaAcesso aberto
2022Teaching HCI engineering: four case studiesCaffieau, Sybille; Campos, José C.; Martinie, Célia, et al.Artigo em ata de conferênciaAcesso aberto
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo, et al.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
2005Testing AudioBrowserFernandes, António Ramires; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2010Textile dyes fungal mechanisms of biodegradationOttoni, C. A.; Santos, C.; Lima, NelsonResumo em ata de conferência Acesso aberto
16-Nov-2010The APEX framework: prototyping of ubiquitous environments based on Petri NetsSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac, et al.Artigo 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, et al.Artigo em ata de conferênciaAcesso aberto
2018The MAL Interactors Animator: Supporting model validation through animationCampos, José C.; Sousa, NunoArtigo em ata de conferênciaAcesso aberto
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
2013The mobile context framework: providing context to mobile applicationsOliveira, Luís Filipe Silva de; Ribeiro, António Nestor; 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
2015The Modelery: a model-based software development repositoryCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigoAcesso aberto
2017The specification and analysis of use properties of a nuclear control systemHarrison, Michael douglas; Masci, Paolo M.; Campos, José C., et al.Capítulo de livroAcesso restrito UMinho
Mostrar 132-151 de um total de 174 resultados. < anterior   próximo >