Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 11 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2009An infrastructure for experience centered agile prototyping of ambient intelligenceSilva, José Luís Cardoso; Campos, J. Creissac; Harrison, Michael D.Artigo em ata de conferênciaAcesso aberto
2008Resources for situated actionsDoherty, Gavin; Campos, J. Creissac; Harrison, MichaelArtigo em ata de conferênciaAcesso aberto
2004Verifying user interface behaviour with model checkingCampos, J. Creissac; Harrison, M. D.; Loer, KarstenArtigo em ata de conferênciaAcesso aberto
Dez-2000Representational reasoning and verificationDoherty, Gavin J.; Campos, J. Creissac; Harrison, M. D.ArtigoAcesso aberto
Out-2008Analysing human aspects of safety-critical softwareHarrison, Michael D.; Campos, J. CreissacArtigoAcesso aberto
2003From HCI to software engineering and backCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2008Exploring an option space to engineer a ubiquitous computing systemHarrison, Michael D.; Kray, Christian; Campos, J. CreissacArtigoAcesso aberto
Ago-2001Model checking interactor specificationsCampos, J. Creissac; Harrison, M. D.ArtigoAcesso aberto
2008Systematic analysis of control panel interfaces using formal toolsCampos, José C.; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2008Considering context and users in interactive systems analysisCampos, J. Creissac; Harrison, Michael D.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 11 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir