Acções do Documento

Publications

Books (edited)
eb01T. Chambel, N. J. Nunes, T. Romão, and J. C. Campos, editors (2006) Interacção 2006 – Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina. Grupo Português de Computação Gráfica, October.
Book Chapters
bc01M. D. Harrison, J. C. Campos, G. J. Doherty and K. Loer (2008) Connecting rigorous system analysis to experience centred design. In E. Law and E. Hvannberg and G. Cockton, editors, Maturing Usability: Quality in Software, Interaction and Value. Human-Computer Interaction Series, pages 56-74. Springer.
bc02M. D. Harrison and J. C. Campos and K. Loer (2008) Formal analysis of interactive systems: opportunities and weaknesses. In P. Cairns and A. Cox, editors, Research Methods in Human Computer Interaction. Cambridge University Press. (in press)
Papers in Conference Proceedings
cp01J. C. Campos and G. J. Doherty (2006) Supporting resource-based analysis of task information needs. In Interactive Systems: Design, Specification and Verification (12th International Workshop, DSVIS 2005). Volume 3941 of Lecture Notes in Computer Science, Springer.
cp02J. C. Silva and J. C. Campos and J. Saraiva (2006) Models for the Reverse Engineering of Java/Swing Applications. In J. M. Favre and D. Gasevic and R. Lämmel and A. Winter, editors, 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies (ateM 2006) for Reverse Engineering, number 1/2006 of Informatik-Bericht series. Johannes Gutenberg-Universität Mainz, Institut für Informatik -- FB 8.
cp03J. C. Campos and A. N. Ribeiro (2006) UML no Desenvolvimento de Sistemas Interactivos. Interacção 2006: 2a. Conferência Nacional em Interacção Pessoa-Máquina, pp 77-80. Grupo Português de Computação Gráfica.
cp04N. Sousa and J. C. Campos (2006) IVY Trace Visualiser. Interacção 2006: 2a. Conferência Nacional em Interacção Pessoa-Máquina, pp 181-190. Grupo Português de Computação Gráfica.
cp05J.C. Silva and J. C. Campos and J. Saraiva (2006) Engenharia Reversa de Sistemas Interactivos Desenvolvidos em Java/Swing. Interacção 2006: 2a. Conferência Nacional em Interacção Pessoa-Máquina, pp 65-72. Grupo Português de Computação Gráfica.
cp06J. C. Silva and J. C. Campos and J. Saraiva (2007) Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. In G. Doherty and A. Blandford, editors, Interactive Systems: Design, Specification and Verification, volume 4323 of Lecture Notes in Computer Science, pages 137-150. Springer-Verlag.
cp07M. A. Barbosa and L. S. Barbosa and J. C. Campos (2007) Towards a Coordination Model for Interactive Systems. Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006). Electronic Notes in Theoretical Computer Science, vol. 183, pp. 89-103, Springer.
cp08A. C. R. Paiva and J. C. P. Faria and R.F.A.M. Vidal (2007) Towards the Integration of Visual and Formal Models for GUI Testing. In Proc. MBT 2007, Electronic Notes in Theoretical Computer Science, vol. 190, pages 99-111. Springer.
cp09A.N. Ribeiro and J.C. Campos and F.M. Martins (2007) Integrating HCI into a Software Engineering course. In Proceedings HCI Educators 2007, pages 48-57.
cp10J.C. Campos and M.D. Harrison (2008) Considering context and users in interactive systems analysis. In Engineering Interactive Systems 2007, Lecture Notes in Computer Science, volume 4940. Springer-Verlag. (to appear)
cp11A. C. R. Paiva and J. C. P. Faria and P. M. C. Mendes (2007) Reverse Engineered Formal Models for GUI Testing. In S. Leue and P. Merino, editors, Formal Methods for Industrial Critical Systems, volume 4916 of Lecture Notes in Computer Science, pages 218-233. Springer-Verlag.
cp12M. Harrison and C. Kray and J. C. Campos (2008) Exploring an option space to engineer a ubiquitous computing system. In Paul Curzon and Antonio Cerone, editors, 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), volume 208 of Electronic Notes in Theorectical Computer Science, pages 41-55.
cp13J. L. Silva and J. C. Campos and A. Paiva (2008) Model-based user interface testing with Spec Explorer and ConcurTaskTrees. In Paul Curzon and Antonio Cerone, editors, 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), volume 208 of Electronic Notes in Theorectical Computer Science, pages 77-93.
cp14J. C. Campos and M. D. Harrison (2008) Systematic analysis of control panel interfaces using formal tools. In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), number 5136 of Lecture Notes in Computer Science, pages 72-85. Springer-Verlag.
cp15G. J. Doherty and J. C. Campos and M. D. Harrison (2008) Resources for Situated Actions. In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), number 5136 of Lecture Notes in Computer Science. Springer-Verlag.
cp16N. Guerreiro and S. Mendes and V. Pinheiro and J. C. Campos (2008) AniMAL - a user interface prototyper and animator for MAL interactor models. In Interacção 2008. (accepted)
Technical Reports
tr501A. de Ridder and F. M. Posadas and J. C. Campos (2005) Technical guide for the Visualizer Component. IVY technical report IVY-TR-5-01.
tr502N. Sousa and J. C. Campos (2005) IVY Trace Visualizer - preliminary report. IVY technical report IVY-TR-5-02.
tr503N. M. E. Sousa and J. C. Campos. Um visualizador de trac¸os de comportamento para a ferramenta ivy. IVY Technical Report IVY-TR-5-03, Universidade do Minho, October 2006.
tr504N. M. E. Sousa and J. C. Campos. User manual for the trace visualiser. IVY Technical Report IVY- TR-5-04, Universidade do Minho, October 2006.
tr505N. M. E. Sousa and J. C. Campos. Technical manual for the trace visualiser. IVY Technical Report IVY-TR-5-05, Universidade do Minho, October 2006.
tr601J. Soares, D. Cruz, J. Saraiva (2006) Slicing and Testing of wxHaskell. IVY Technical Report IVY-6-01. Universidade do Minho, Junho.
tr602J. C. Silva, J. C. Campos, and J. Saraiva (2007) Formal Methods and Reverse Engineering Regarding Graphical User Interface Testing. IVY Technical Report IVY-6-02. Universidade do Minho, Outubro.
tr701L.S. Barbosa and J.C. Campos and M.A. Barbosa (2007) A coordination model for interconnecting interactive components. IVY Technical Report IVY-TR-7-01, Universidade do Minho, Setembro.
tr702J.L. Silva (2007) Geração de oráculos de teste a partir de modelos de tarefas. IVY Technical Report IVY-TR-7-02, Universidade do Minho, Outubro.