Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 11-20 de um total de 46 resultados (tempo de pesquisa: 0.015 segundos).
DataTítuloAutor(es)TipoAcesso
2006Supporting resource-based analysis of task information needsCampos, J. Creissac; Doherty, Gavin J.Artigo em ata de conferênciaAcesso aberto
1996Context sensitive user interfacesCampos, J. Creissac; Martins, F. MárioArtigo em ata de conferênciaAcesso aberto
16-Nov-2010The APEX framework: prototyping of ubiquitous environments based on Petri NetsSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac; Fernandes, João M.; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2010A coordination model for interactive componentsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Artigo 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
1999Using automated reasoning in the design of an audio-visual communication systemCampos, J. Creissac; Harrison, M. 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
Out-2006UML no desenvolvimento de sistemas interactivosRibeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
Jul-2006ICTs in remote assessmentRestivo, Maria Teresa; Chouzal, Maria de Fátima; Leão, Celina Pinto; Soares, Filomena; Teixeira, Lígia; Campos, J. Creissac; Analide, CésarResumo em ata de conferência Acesso aberto