Percorrer por autor 4645 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 21-40 de um total de 47 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2009Interaction engineering using the IVY toolCampos, J. Creissac; Harrison, Michael D.Artigo em ata de conferênciaAcesso aberto
2005Is there a role for rigorous system analysis in experience experience centred design?Harrison, M. D.; Doherty, Gavin J.; Campos, J. CreissacComunicação oral Acesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo, et al.Artigo em ata de conferênciaAcesso aberto
Ago-2001Model checking interactor specificationsCampos, J. Creissac; Harrison, M. D.ArtigoAcesso aberto
2011Modelling and analysing the interactive behaviour of an infusion pumpCampos, J. Creissac; Harrison, Michael D.ArtigoAcesso aberto
2012Modelling and systematic analysis of interactive systemsHarrison, Michael D.; Masci, Paolo; Campos, J. Creissac, et al.Artigo em ata de conferênciaAcesso aberto
2016Modelling information resources and their salience in medical device designHarrison, Michael douglas; Campos, José C.; Rukšenas, Rimvydas, et al.Artigo em ata de conferênciaAcesso aberto
2010Prototipagem rápida de ambientes ubíquosSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac, et al.Artigo em ata de conferênciaAcesso aberto
Mai-2014Prototyping and analysing ubiquitous computing environments using multiple layersSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, Michael DouglasArtigoAcesso aberto
2014Rapid development of first person serious games using the APEX platform: the asthma gameGomes, Tiago; Abade, Tiago; Campos, J. Creissac, et al.Artigo em ata de conferênciaAcesso aberto
Dez-2000Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.ArtigoAcesso aberto
1998Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2008Resources for situated actionsDoherty, Gavin; Campos, J. Creissac; Harrison, MichaelArtigo em ata de conferênciaAcesso aberto
2015Reusing models and properties in the analysis of similar interactive devicesHarrison, Michael D.; Campos, J. Creissac; Masci, PaoloArtigoAcesso aberto
1998The role of verification in interactive systems designCampos, J. Creissac; Harrison, M. D.Artigo 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., et al.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
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 21-40 de um total de 47 resultados. < anterior   próximo >