[Photo]
[UM][EEng]
José Creissac Campos
Publications (full listing) / Publica%C3%83%C2%A7%C3%83%C2%B5es (lista completa)
2013
abstracts off (turn on)
Automated theorem proving for the systematic analysis of interactive systems
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2013) In FMIS 2013. (accepted)
Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications
C.E. Silva and J.C. Campos (2013) In EICS 2013. (accepted)
Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos
J.C. Silva, J.L. Silva, J.C. Campos and J.A. Saraiva (2013) In CISTI 2013. (accepted)
A Specification Patterns System for Discrete Event Systems' Analysis
J. Machado and J.C. Campos (2013) International Journal of Advanced Robotic Systems: Mechatronics. (accepted)
Reusing models and properties in the analysis of similar interactive devices
M.D. Harrison, J.C. Campos and P. Masci (2013) Innovations in Systems and Software Engineering. (accepted)
An empirical study on immersive prototyping dimensions
S. Moreira, R. José and J.C. Campos (2013) In HCI International 2013. (accepted)
The Mobile Context Framework: providing context to mobile applications
L. Oliveira, A.N. Ribeiro and J.C. Campos (2013) In HCI International 2013. (accepted)
MapIt: A model based pattern recovery tool download from RepositoriUM
R. Couto, A.N. Ribeiro and J.C. Campos (2013) In R.J. Machado, R.S.P. Maciel, J. Rubin and G. Botterweck, editors, Model-Based Methodologies for Pervasive and Embedded Software, volume 7706 of Lecture Notes in Computer Science, pages 19-37. Springer.
2012
abstracts off (turn on)
A Java based PSM/PIM and pattern inference approach
R. Couto, A.N. Ribeiro and J.C. Campos (2012) In SEW-35. (accepted)
Can GUI implementation markup languages be used for modelling? download from RepositoriUM
C.E. Silva and J.C. Campos (2012) In Marco Winckler, Peter Forbrig and Regina Bernhaupt, editors, Human Centred Software Engineering (HCSE 2012), volume 7623 of Lecture Notes in Computer Science, pages 112-129. Springer.
Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12 download from RepositoriUM
S. Barbosa, J.C. Campos, R. Kazman, P. Palanque, M. Harrison and S. Reeves, editor(s) (2012) ACM, Copenhagen, Denmark.
Modelling and systematic analysis of interactive systems download from RepositoriUM
M.D. Harrison, J.C. Campos, P. Masci and N. Thomas (2012) In Matthew L. Bolton, Asaf Degani and Philippe Palanque, editors, Proceedings of the Workshop on Formal Methods in Human-Machine Interaction (Formal H), pages 25-28.
Formal analysis of Ubiquitous Computing environments through the APEX framework download
J.L. Silva, J.C. Campos and M.D. Harrison (2012) In ACM Symposium on Engineering Interactive Computing Systems (EICS2012), pages 131-140. ACM.
A literature review about usability evaluation methods for e-learning platforms
L. Freire, P.M. Arezes and J.C. Campos (2012) Work: A Journal of Prevention, Assessment and Rehabilitation, 41:1038-1044.
GUIsurfer: A Reverse Engineering Framework for User Interface Software download from RepositoriUM
J.C. Campos, J. Saraiva, C. Silva and J.C. Silva (2012) In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, pages 31-54. InTech.
2011
abstracts off (turn on)
FlexiXML - A portable user interface rendering engine for UsiXML download from RepositoriUM
J.C. Campos and S.A. Mendes (2011) In User Interface Extensible Markup Language - UsiXML'2011, pages 158-168. Thales Research and Technology. (ISBN: 978-2-9536757-1-9)
Modelling and analysing the interactive behaviour of an infusion pump download from RepositoriUM
J.C. Campos and M.D. Harrison (2011) Electronic Communications of the EASST, 45. (ISSN: 1863-2122)
Supporting requirements formulation in software formal verification download from RepositoriUM
J.C. Campos and J. Machado (2011) In Ambrosio, A.M., Mattiello-Francisco, M.F., Batista, J.C., Barbosa, R. and Cancela, H., editors, Latin-American Symposium on Dependable Computing (LADC 2011) suplemental proceedings. INPE.
Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems download from RepositoriUM
J. Machado and J.C. Campos (2011) In Ambrosio, A.M., Mattiello-Francisco, M.F., Batista, J.C., Barbosa, R. and Cancela, H., editors, Latin-American Symposium on Dependable Computing (LADC 2011) suplemental proceedings. INPE.
Test case generation from mutated task models download from RepositoriUM
A. Barbosa, A. Paiva and J.C. Campos (2011) In Fabio Paternò, Kris Luyten, Frank Maurer, Prasun Dewan and Carmen Santoro, editors, ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. ACM. (ISBN: 978-1-4503-0778-9)
Safe Controllers Design for Industrial Automation Systems download from RepositoriUM
J. Machado, E. Seabra, J.C. Campos, F. Soares and C. Leão (2011) Computers & Industrial Engineering, 60(4):635-653, May. (ISSN: 0360-8352)
A importância das avaliações qualitativas em sistemas E-learning
L. Freire, P.M. Arezes and J.C. Campos (2011) In P. Arezes, J.S. Baptista, M.P. Barroso, P. Carneiro, P. Cordeiro, N. Costa, R. Melo, A.S. Miguel and G.P. Perestrelo, editors, Occupational Safety and Hygiene (SHO 2011), pages 274-278.
2010
abstracts off (turn on)
GUI Inspection from Source Code Analysis download
J. C. Silva, J. C. Campos and J. A. Saraiva (2010) Electronic Communications of the EASST, 33.
From SFC Specification to C Programming Language on the Context of Aerospace Systems Control
P. Borges, J. Machado, E. Villani and J. C. Campos (2010) In Ioan Dumitrache and Catalin Buiu, editors, IFAC Workshop on Intelligent Control Systems 2010, pages 46-51. Elsevier. (ISBN: 978-1-61782-758-7)
The APEX framework: prototyping of ubiquitous environments based on Petri nets download
J. L. Silva, O. R. Ribeiro, J. M. Fernandes, J. C. Campos and M. D. Harrison (2010) In R. Bernhaupt, P. Forbrig, J. Gulliksen and M.K. Lárusdóttir, editors, Human-Centred Software Engineering, volume 6409 of Lecture Notes in Computer Science, pages 6-21. Springer.
GUI Behavior from Source Code Analysis download
J. C. Silva, C. E. Silva, J. C. Campos and J. A. Saraiva (2010) In O. Mealha, J. Madeira, D. Tércio and B.S. Santos, editors, 4a. Conferência Nacional em Interacção Humano-Computador (Interacção 2010), pages 81-88. GPCG.
Prototipagem rápida de ambientes ubíquos download
J.L. Silva, O.R. Ribeiro, J.M. Fernandes, J.C. Campos and M.D. Harrison (2010) In O. Mealha, J. Madeira, D. Tércio and B.S. Santos, editors, 4a. Conferência Nacional em Interacção Humano-Computador (Interacção 2010), pages 121-128. GPCG.
Abordagem Sistemática para o Controlo Seguro de Sistemas aeroespaciais
P. Borges, E. Villani, J. Machado, J. Ferreira and J. Campos (2010) In XIV International Congress on Project Engineering, pages 10p.
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code download from RepositoriUM
J.C. Silva, C. Silva, R. Goncalo, J. Saraiva and J.C. Campos (2010) In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive computing systems, pages 181-186. ACM. (ISBN: 978-1-4503-0083-4)
A coordination model for interactive components
M.A. Barbosa, L.S. Barbosa and J.C. Campos (2010) In Fundamentals of Software Engineering, volume 5961 of Lecture Notes in Computer Science, pages 416-430. Springer-Verlag. (ISBN: 978-3-642-11622-3)
Princípios de Ergonomia e Design discutidos através de plataformas utilizadas para e-learning
L. Freire, P.M. Arezes and J.C. Campos (2010) In P. Arezes, J.S. Baptista, M.P. Barroso, P. Carneiro, P. Cordeiro, N. Costa, R. Melo, A.S. Miguel and G.P. Perestrelo, editors, Occupational Safety and Hygiene (SHO 2010), pages 256-260. (ISBN: 978-972-99504-6-9)
2009
abstracts off (turn on)
Pattern-based Analysis of Automated Production Systems download
J. C. Campos and J. Machado (2009) In Bakhtadze, Natalia and Dolgui, Alexandre, editors, 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), pages 972-977. Elsevier.
FlexiXML: Um animador de modelos UsiXML download
J. C. Campos and S. Mendes (2009) In 17o. Encontro Português de Computação Gráfica (17o. EPCG), pages 185-194. GPCG. (ISBN: 978-972-98464-3-4)
Advanced Engineering Tools for Next Generation Substation Automation Systems: The Added Value of IEC 61850 and the InPACT Project download
R. Paulo, A. Carrapatoso, M. Lemos, R. Bernardo and J. Campos (2009) In 20th International Conference and Exhibition on Electricity Distribution (CIRED 2009), volume PEP0550Z of IET Conference Publications, pages 0322/1-4. IET. (ISSN: 0537-9989, ISBN: 978-1-84919-126-5)
Interaction engineering using the IVY tool download
J. C. Campos and M. D. Harrison (2009) In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 35-44. ACM.
An infrastructure for experience centered agile prototyping of ambient intelligence download
J. L. Silva, J. C. Campos and M. D. Harrison (2009) In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 79-84. ACM.
A Generic Library for GUI Reasoning and Testing download from RepositoriUM
J.C. Silva, J. Saraiva and J.C. Campos (2009) In SAC '09: Proceedings of the 2009 ACM Symposium on Applied Computing, pages 121-128. ACM. (ISBN: 978-1-60558-166-8)
2008
abstracts off (turn on)
Considering context and users in interactive systems analysis
J.C. Campos and M.D. Harrison (2008) In Engineering Interactive Systems, volume 4940 of Lecture Notes in Computer Science, pages 193-209. Springer-Verlag. (ISBN: 978-3-540-92697-9)
Analysing Human Aspects of Safety-Critical Software download from RepositoriUM
M. Harrison and J. C. Campos (2008) ERCIM News, 75:18, October. (Invited paper; ISSN: 0926-4981)
Formal analysis of interactive systems: opportunities and weaknesses
M. D. Harrison, J. C. Campos and K. Loer (2008) In P. Cairns and A. Cox, editors, Research Methods in Human Computer Interaction, pages 88-111. Cambridge University Press.
Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina
J. C. Campos, Daniel Gonçalves, T. Romão and L. Rato, editor(s) (2008) Grupo Português de Computação Gráfica. (ISBN: 972-98464-9-9)
AniMAL - a user interface prototyper and animator for MAL interactor models
N. Guerreiro, S. Mendes, V. Pinheiro and J. C. Campos (2008) In J.C. Campos, D. Gonçalves, T. Romão and L. Rato, editors, Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina, pages 93-102. Grupo Português de Computação Gráfica.
Framework de distribuição assíncrona de aplicações móveis situadas
M. Borges, J. C. Campos and A. N. Ribeiro (2008) In J.C. Campos, D. Gonçalves, T. Romão and L. Rato, editors, Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina, pages 181-186. Grupo Português de Computação Gráfica.
Property Patterns for the Formal Verification of Automated Production Systems download
J. C. Campos, J. Machado and E. Seabra (2008) In Proceedings of the 17th IFAC World Congress, pages 5107-5112. IFAC.
Systematic analysis of control panel interfaces using formal tools download from RepositoriUM
J. C. Campos and M. D. Harrison (2008) 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.
Resources for Situated Actions download from RepositoriUM
G. J. Doherty, J. C. Campos and M. D. Harrison (2008) 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.
Connecting rigorous system analysis to experience centred design download from RepositoriUM
M. D. Harrison, J. C. Campos, G. Doherty and K. Loer (2008) In E. Law, E. Hvannberg and G. Cockton, editors, Maturing Usability: Quality in Software, Interaction and Value, Human-Computer Interaction Series, pages 56-74. Springer. (ISSN: 1571-5035; ISBN: 978-1-84628-940-8)
Model-based user interface testing with Spec Explorer and ConcurTaskTrees download from RepositoriUM download
J. L. Silva, J. C. Campos and A. Paiva (2008) Electronic Notes in Theoretical Computer Science, 208:77-93.
Exploring an option space to engineer a ubiquitous computing system download from RepositoriUM download
M. Harrison, C. Kray and J. C. Campos (2008) Electronic Notes in Theoretical Computer Science, 208:41-55.
2007
abstracts off (turn on)
Simulation and Formal Verification of Industrial Systems Controllers
J. Machado, E. Seabra, J.C. Campos, F. Soares, C.P. Leao and J.F. Silva (2007) In 19th International Congress of Mechanical Engineering (COBEM 2007). ABCM. (ISBN: 978-85-85769-34-5)
A New Plant Modelling Approach For Formal Verification Purposes download from RepositoriUM
J. Machado, E. Seabra, F. Soares and J. Campos (2007) In Pre-print of the 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems - Theory and Applications (LSS 2007). (formal proceeding forthcoming)
An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments download from RepositoriUM download from RepositoriUM
H. Pinto, R. José and J. C. Campos (2007) In IEEE International Conference on Pervasive Services 2007 (ICPS'07), pages 232-241. IEEE Computer Society Press. (ar: 18/64 ~.28)
Integrating HCI into a UML based Software Engineering course
A. N. Ribeiro, J. C. Campos and F. Martins (2007) In Proceedings HCI Educators 2007, pages 48-57.
Processes: Working group report
S. Chatty, J. C. Campos, M. P. Gonzalez, S. Lepreux, E. G. Nilsson, V. Penichet and M. Santos J. Van den Bergh (2007) In G. Doherty and A. Blandford, editors, Interactive Systems: Design, Specification and Verification, volume 4323 of Lecture Notes in Computer Science, pages 262-264. Springer-Verlag.
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications download from RepositoriUM download from RepositoriUM
J. C. Silva, J. C. Campos and J. Saraiva (2007) 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.
Towards a coordination model for interactive systems download from RepositoriUM download from RepositoriUM
M. A. Barbosa, L. S. Barbosa and J. C. Campos (2007) Electronic Notes in Theorectical Computer Science(183):73-88.
2006
abstracts off (turn on)
Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina
T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editor(s) (2006) Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
A Push Infrastructure for Mobile Application Deployment in Mobile Environments
M. Borges, A. N. Ribeiro and J. C. Campos (2006) In R. José and C. Baquero, editors, CSMU 2006 -- Conference on Mobile and Ubiquitous Systems (posters section), pages 175-178. Escola d Engenharia, Universidade do Minho. (ISBN: 972-8692-29-3)
Supporting resource-based analysis of task information needs download from RepositoriUM download from RepositoriUM
J. C. Campos and G. J. Doherty (2006) In S.W. Gilroy and M.D. Harrison, editors, Interactive Systems: Design, Specification and Verification, volume 3941 of Lecture Notes in Computer Science, pages 188-200. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-34145-5)
Automated deduction and usability reasoning
J. C. Campos and M. D. Harrison (2006) In Claude Ghaoui, editor, Encyclopedia of Human-Computer Interaction, pages 45-54. Idea Group Reference. (ISBN: 1-59140-562-9 - hardcover / 1-59140-798-2 - ebook)
UML no Desenvolvimento de Sistemas Interactivos download from RepositoriUM
J. C. Campos and A. N. Ribeiro (2006) In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 77-80. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
Accessibility and Visually Impaired Users
A. R. Fernandes, J. R. Pereira and J. C. Campos (2006) In I. Seruca, J. Filipe, S. Hammoudi and J. Cordeiro, editors, Enterprise Information Systems VI. Springer. (ISBN: 1-4020-3674-4). (Best papers from ICEIS 2005 - ar (ICEIS 2005): .19)
Usabilidade em interfaces para crianças download from RepositoriUM
A. Mano and J. C. Campos (2006) Jornal de Ciências Cognitivas, Setembro. (ISSN: 1646-365X)
Cognitive walkthroughs in the evaluation of user interfaces for children
A. Mano and J. C. Campos (2006) In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 195-198. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
Adaptação de interfaces com o utilizador em dispositivos móveis
S. Rodrigues, J. C. Campos and A. N. Ribeiro (2006) In CSMU 2006 - Conference on Mobile and Ubiquitous Systems (posters section), pages 171-174. Escola de Engenharia, Universidade do Minho. (ISBN: 972-8692-29-3)
Models for the Reverse Engineering of Java/Swing Applications download from RepositoriUM download from RepositoriUM
J. C. Silva, J. C. Campos and J. Saraiva (2006) In J. M. Favre, D. Gasevic, R. L&atrema;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&atrema;t Mainz, Institut f&utrema;ur Informatik - FB 8. (ISSN: 0931-9972)
Engenharia Reversa de Sistemas Interactivos Desenvolvidos em Java2/Swing download from RepositoriUM
J. C. Silva, J. C. Campos and J. Saraiva (2006) In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 63-72. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
IVY Trace Visualiser download from RepositoriUM
N. M. E. Sousa and J. C. Campos (2006) In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 181-190. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
2005
abstracts off (turn on)
Model based web interfaces' analysis
J. C. Campos (2005) In HCI International 2005 - 11th International Conference on Human-Computer Interaction (posters section). Laurence Erlbaum Associates, Inc. (ISBN: 0-8085-5807-5 - CD-ROM edition)
Testing AudioBrowser
J. C. Campos and A. R. Fernandes (2005) In HCI International - 11th International Conference on Human-Computer Interaction (posters section). Laurence Erlbaum Associates, Inc.. (ISBN: 0-8085-5807-5 - CD-ROM edition)
Is there a role for rigorous system analysis in experience centred design?
M.Harrison, G. Doherty and J. C. Campos (2005) Position paper for the Workshop on Space, Place, and Experience in Human Computer Interaction, 10th IFIP International Conference on Human Computer Interaction -- Interact 2005. September.
A study on usability criteria regarding interfaces for children download from RepositoriUM
A. Mano and J. C. Campos (2005) In Interact 2005 Workshop on Child Computer Interaction: Methodological Research, pages 32-35.
Laboratórios virtuais: duas aplicações no ensino de engenharia
L. Teixeira, Ó. Costa, V. Pereira, C. P. Leão, F. O. Soares, M. T. Restivo, F. Chouzal, J. Mendes and J. C. Campos (2005) In A. Mendes, I. Pereira and R. Costa, editors, VII Simpósio Internacional de Informática Educativa -- SIIE'05 (posters section). (ISBN: 972-95207-4-7 (CD-ROM edition))
2004
abstracts off (turn on)
Interactors as Boundary Objects
J. C. Campos (2004) Position paper at the CHI 2004 workshop: Identifying Gaps between HCI, Software Engineering, and Design, and Boundary Objects to Bridge Them. April.
The modelling gap between software engineering and human-computer interaction download
J. C. Campos (2004) In Rick Kazman, Len Bass and Bonnie John, editors, ICSE 2004 Workshop: Bridging the Gaps II, pages 54-61. The IEE. (ISBN: 0-86341-416-8)
Análise de usabilidade baseada em modelos
J. C. Campos (2004) In Interação 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, pages 171-176. Grupo Português de Computação Gráfica. (ISBN: 972-98464-4-8 (proceedings also available as a special number of the {Virtual} electronic journal, ISSN: 0873-1837))
Verifying user interface behaviour with model checking download
J. C. Campos, M. D. Harrison and Karsten Loer (2004) In J. C. Augusto and U. Ultes-Nitsche, editors, Verification and Validation of Enterprise Information Systems (VVEIS 2004), pages 87-96. INSTICC Press. (ISBN: 972-8865-03-1)
Accessibility and Visually Impaired Users
A. R. Fernandes, J. R. Pereira and J. C. Campos (2004) In I. Seruca, J. Filipe, S. Hammoudi and J. Cordeiro, editors, ICEIS 2004: Proceedings of the 6th International Conference on Enterprise Information Systems, volume 5, pages 75-80. INSTICC Press. (ISBN: 972-8865-00-7)
A study about usability criteria on computer interfaces for children
A. Mano and J. C. Campos (2004) In First Portuguese Forum of Experimental Psychology.
Aplicação de um Cognitive Walkthrough - estudo de caso
A. Mano and J. C. Campos (2004) In Interação 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, pages 256-258. Grupo Português de Computação Gráfica. (ISBN: 972-98464-4-8 (proceedings also available as a special number of the {Virtual} electronic journal, ISSN: 0873-1837))
2003
abstracts off (turn on)
Using task knowledge to guide interactor specifications analysis
J. C. Campos (2003) In J. A. Jorge, N. J. Nunes and J. Falcão e Cunha, editors, Interactive Systems: Design, Specification and Verification, volume 2844 of Lecture Notes in Computer Science, pages 171-186. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-20159-9)
Uma abordagem formal à Engenharia da Usabilidade download from RepositoriUM
J. C. Campos (2003) In Simone D. J. Barbosa and Cleotilde Gonzalez, editors, CLIHC 2003 Conference Proceedings, ACM International Conference Proceeding Series, pages 17-28. ACM. (ISBN: 85-87926-05-5)
Reasoning about Dynamic Information Displays download
J. C. Campos and G. J. Doherty (2003) In J. A. Jorge, N. J. Nunes and J. Falcão e Cunha, editors, Interactive Systems: Design, Specification and Verification, volume 2844 of Lecture Notes in Computer Science, pages 288-302. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-20159-9)
From HCI to Software Engineering and back download
J. C. Campos and M. D. Harrison (2003) In Rick Kazman, Len Bass and Jan Bosch, editors, Bridging the Gaps Between Software Engineering and Human-Computer Interaction, ICSE '2003 workshop, pages 49-56.
2001
abstracts off (turn on)
Reasoning about Time in Dynamic Information Displays
J. C. Campos and G. J. Doherty (2001) In G.J. Doherty, M. Massink and M.D. Wilson, editors, Continuity in Future Computing Systems - Proceedings of I3 Spring Days Workshop, volume RAL of RAL Conference Proceedings, pages 80-95. Council for the Central Laboratory of the Research Councils. (ISSN: 1362-0231)
Model Checking Interactor Specifications download from RepositoriUM download
J. C. Campos and M. D. Harrison (2001) Automated Software Engineering, 8(3):275-310, August. (ISSN: 0928-8910)
2000
abstracts off (turn on)
Representational Reasoning and Verification download from RepositoriUM download
G. J. Doherty, J. C. Campos and M. D. Harrison (2000) Formal Aspects of Computing, 12(4):260-277. (ISSN: 0934-5043)
1999
abstracts off (turn on)
Automated Deduction and Usability Reasoning download
J. C. Campos (1999) DPhil thesis, Department of Computer Science, University of York. (Also available as Technical Report YCST 2000/9, Department of Computer Science, University of York)
Using automated reasoning in the design of an audio-visual communication system download
J. C. Campos and M. D. Harrison (1999) In D. J. Duke and A. Puerta, editors, Design, Specification and Verification of Interactive Systems '99, Springer Computer Science, pages 167-188. Springer-Verlag/Wien. (ISSN: 0946-2767, ISBN: 3-211-83405-2)
From Interactors to SMV: A Case Study in the Automated Analysis of Interactive Systems download
J. C. Campos and M. D. Harrison (1999) Technical Report YCS-99-317, Department of Computer Science, University of York.
1998
abstracts off (turn on)
Mechanical Verification and Interactive Systems Development
J. C. Campos (1998) 2nd Year Thesis Proposal, Department of Computer Science, University of York.
Integrating Automated Verification into Interactive Systems Development
J. C. Campos (1998) In 13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings, pages 13-15.
The role of verification in interactive systems design download
J. C. Campos and M. D. Harrison (1998) In P. Markopoulos and P. Johnson, editors, Design, Specification and Verification of Interactive Systems '98, Springer Computer Science, pages 155-170. Springer-Verlag/Wien. (ISSN: 0946-2767, ISBN: 3-211-83212-2)
Representational Reasoning and Verification
G. Doherty, J. C. Campos and M. D. Harrison (1998) In J. I. Siddiqi, editor, Proceedings of the BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction, pages 193-212. SHU Press. (ISBN: 0-86339-7948)
1997
abstracts off (turn on)
Formal Verification of Interactive Systems download from RepositoriUM
J. C. Campos (1997) 1st Year Qualifying Dissertation, Department of Computer Science, University of York.
Formally Verifying Interactive Systems: A Review download
J. C. Campos and M. D. Harrison (1997) In M. D. Harrison and J. C. Torres, editors, Design, Specification and Verification of Interactive Systems '97, Springer Computer Science, pages 109-124. Springer-Verlag/Wien. (ISSN: 0946-2767, ISBN: 3-211-83055-3)
1996
abstracts off (turn on)
Context Sensitive User Interfaces download from RepositoriUM
J. C. Campos and F. M. Martins (1996) In C. R. Roast and J. I. Siddiqi, editors, Formal Aspects of the Human Computer Interface, electronic Workshops in Computing. Springer-Verlag London. (ISBN: 3-540-76105-5)
1995
abstracts off (turn on)
GAMA-X - MIU Programmer's Manual download from RepositoriUM
J. C. Campos (1995) Technical Report UMDITR9505, Departamento de Informática, Universidade do Minho.
1994
abstracts off (turn on)
Automatic Generation of User Interfaces at Prototype Level download from RepositoriUM
J. C. Campos and F. M. Martins (1994) Technical Report, Project EUREKA-SOUR, Olivetti Ricerca/INESC-Braga.
O Sistema GAMA - Arquitectura e Implementação download from RepositoriUM
J. C. Campos and F. M. Martins (1994) In F. M. Martins, J. J. Almeida and J. G. Rocha, editors, 6o. Encontro Português de Computação Gráfica, number UMDIAR9414, pages 2-15.
1993
abstracts off (turn on)
GAMA-X Geração Semi-Automática de Interfaces Sensíveis ao Contexto download from RepositoriUM
J. C. Campos (1993) MSc. thesis, Departamento de Informática, Universidade do Minho.
GAMA-X - Uma Arquitectura Software para o Desenvolvimento Semi-Automático de Interfaces Utilizador-Sistema
J. C. Campos and F. M. Martins (1993) In 5o. Encontro Português de Computa&ccedi;ão Gráfica, number UMDIAR9310, pages 197-209.
1992
abstracts off (turn on)
IAPF - Interfaces Assistidas para Protótipos Funcionais
J. C. Campos and F. M. Martins (1992) Technical Report, Departamento de Informática, Universidade do Minho.
1991
abstracts off (turn on)
IAPF - Interfaces Assistidas para Protótipos Funcionais
J. C. Campos (1991) Relatório de Estágio, Departamento de Informática, Universidade do Minho.
1990
abstracts off (turn on)
GAMA - Geração Automática de Modo Assistido
F. C. Madeira, J. C. Campos, P. M. Castro and F. M. Martins (1990) Technical Report, Departamento de Informática, Universidade do Minho.