[Photo - click para ver]
[UM][EEng]
this page in English ...
José Creissac Campos
Departamento de Informática, Escola de Engenharia, Universidade do Minho
Campus de Gualtar, 4710-057 Braga, Portugal.
E-mail: jose.campos@di / Gabinete: Ei 2.10 / Tel.: +351 253 60 4447 / Fax.: +351 253 60 4471
Sou Professor Auxiliar no Departamento de Informática da Universidade do Minho e investigador do HASLab/INESC TEC. Os meus interesses de investigação situam-se na intersecção dos Métodos Formais, da Engenharia de Software e da Interacção Humano-Computador. Tenho especial interesse técnicas e ferramentas de análise. Sou membro efectivo do gripo de trabalho IFIP WG 2.7/13.4 on User Interface Engineering.
Ensino
Pós-graduação
Engenharia de Aplicações/Sistemas Interactivos - MI/MEI
Licenciatura
Desenvolvimento de Sistemas Software - LEI (2012/13)
Programação Orientada aos Objectos - LEI (2012/13)
Investigação
Publicações (lista completa)
Citações
Investigação passada
Trabalhar comigo
HCIspecs
FlexiXML
IFIP WG 2.7/13.4
Chave pública FCT: J009310PW0L9
Publicações recentes (ver mais...):
Automated theorem proving for the systematic analysis of interactive systems
Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications
A Specification Patterns System for Discrete Event Systems' Analysis
Reusing models and properties in the analysis of similar interactive devices
Supervisões (propostas de projecto):
Avaliação de usabilidade em plataformas educativas (Luciana Freire, PhD student)
User Interface Migration and Adaptation (Carlos E Silva, PhD student)
Auralization in Virtual Worlds (Carlos CL Silva, PhD student)
Mode-based software development (Rui Couto, PhD student)
Projectos a decorrer:
PROVA - Platform for Software Verification and Validation (AdI)
PBGT - Pattern Based GUI Testing (FCT, started 01/04/2012 - 3 years)
APEX - Agile Prototyping for user EXperience (PI - FCT, started 01/02/2011 - 3 years)
CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software (FCT, started 15/03/2010)
SSaaPP - Spreadsheets as a Programming Paradigm (FCT, started 01/05/2010)
Conferências (pc - comité de programa / oc - comité de organização):
CHI 2013 - ACM SIGCHI Conference on Human Factors in Computing Systems [wip pc]
EICS 2013 - ACM SIGCHI Symposium on Engineering Interactive Computing Systems [oc]
INTERACT 2013 - 14th IFIP TC13 Conference on Human-Computer Interaction [pc]
FMIS 2013 - Formal Methods for Interactive Systems [pc]
jfc © 2010