Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
José Creissac Campos
Investigador Coordenador
Sou Professor Associado (com Agregação) no Departamento de Informática da Universidade do Minho e investigador sénior do HASLab/INESC TEC. Trabalho na aplicação de técnicas e ferramentas formais de engenharia de software à modelação e análise de sistemas interactivos.
Investigação financiada recente inclui: modelação e análise formais de sistemas interactivos (com um foco particular em dispoisitivos médicos); teste de interfaces com o utilizador baseado em modelos; prototipagem de sistemas de computação ubíqua utilziando realidade virtual; e engenharia reversa da cama de interface de aplicações.
Sou membro do grupo de trabalho IFIP WG 2.7/13.4 on User Interface Engineering (a que actualmente presido), do editorial board da revista Proc. of the ACM on HCI e do comité de steering da EICS (ACM SIGCHI Symposium on Engineering Interactive Computer Systems).
Projetos
Publicações
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings
Glässer, U;Campos, JC;Méry, D;Palanque, PA;
2023
ABZ
Representational Reasoning and Verification
Doherty, GJ;Campos, JC;Harrison, MD;
2000
Formal Aspects Comput.
Pattern-based analysis of automated production systems
Campos, JC;Machado, J;
2009
IFAC Proceedings Volumes (IFAC-PapersOnline)
An interaction model and infrastructure for localized activities in pervasive computing environments
Pinto, H;Jose, R;Campos, JC;
2007
2007 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE SERVICES
Teses Orientadas
Using Predictive and Descriptive Cognitive Models for Evaluation of Interactive Computing Systems
Carlos César Loureiro Silva
D - 2019
UM-EEUM
Gerador de protótipos de interfaces gráficas para IVY Workbench
João Miguel Matela Aidos Manso de Araújo
M - 2019
UM-EEUM
Prototipagem de Interfaces
Rafael Braga Gomes da Costa
M - 2020
UM-EEUM
Sistematização do desenvolvimento de interfaces web
Nelson Tiago da Silva Sousa
M - 2022
UM-EEUM
