![[Photo - click para ver]](images/jfc08intran.JPG)
-
![[UM]](images/corReitoria50.gif)
![[EEng]](images/eng50.gif)
this page in English
-
José Creissac Campos
- 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 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 :
- 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