http://publicationslist.org/data/jose.campos/atom.xml José Camposhttp://publicationslist.org/jose.campos$basepathfavicon.icoRecent additions to José Campos's PublicationsList.org pagehttp://publicationslist.org/publications.png2009-05-23T00:52:38Z http://publicationslist.org/jose.campos/refid2 2009-05-23T00:17:41Z

J C Campos, M D Harrison (2009) <i></i> <i>ACM Symposium on Engineering Interactive Computing Systems (EICS 2009)</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid6 2009-05-23T00:17:41Z

J C Silva, J Saraiva, J C Campos (2009) <i></i> <i>SAC ’09 : Proceedings of the 2009 ACM symposium on Applied Computing</i> <i></i> : 121-128<br/>

http://publicationslist.org/jose.campos/refid7 2009-05-23T00:17:41Z

L S Barbosa, J C Campos M. A. Barbosa (2009) <i></i> <i>The 3rd International Conference on Fundamentals of Software Engineering (FSEN 2009)</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid8 2009-05-23T00:17:41Z

R Paulo, A Carrapatoso, M Lemos, R Bernardo, J Campos (2009) <i></i> <i>The 20th International Conference and Exhibition on Electricity Distribution (CIRED 2009)</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid1 2009-05-23T00:17:41Z

J L Silva, J C Campos, M D Harrison (2009) <i></i> <i>ACM Symposium on Engineering Interactive Computing Systems (EICS 2009)</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid3 2009-05-23T00:17:41Z

J C Campos, J Machado (2009) <i></i> <i>13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009)</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid10 2009-05-23T00:52:18Z

M Harrison, J C Campos (2008 ) <i>ERCIM News</i> : 75 18<br/>

http://publicationslist.org/jose.campos/refid4 2009-05-23T00:29:11Z

M Borges, J C Campos, A N Ribeiro (2008) <i>Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina</i> 181-186<br/>

http://publicationslist.org/jose.campos/refid12 2009-05-23T00:17:41Z

G J Doherty, J C Campos, M D Harrison (2008) <i></i> <i>Interactive Systems : Design, Specification and Verification</i> <i></i> 5136: <br/>

http://publicationslist.org/jose.campos/refid52 2009-05-23T00:17:41Z

J C Campos, J Machado, E Seabra (2008) <i></i> <i>Proceedings of the 17th IFAC World Congress 2008</i> <i></i> : 5107-5112<br/>

http://publicationslist.org/jose.campos/refid64 2009-05-23T00:20:44Z

M D Harrison, J C Campos, K Loer (2008) <i>Research Methods in Human Computer Interaction</i> <br/>

http://publicationslist.org/jose.campos/refid48 2009-05-23T00:17:41Z

J C Campos, M D Harrison (2008) <i></i> <i>Engineering Interactive System</i> <i></i> 4940: 193-209<br/>

http://publicationslist.org/jose.campos/refid11 2009-05-23T00:17:41Z

J C Campos, M D Harrison (2008) <i></i> <i>Interactive Systems : Design, Specification and Verification</i> <i></i> 5136: 72-85<br/>

http://publicationslist.org/jose.campos/refid9 2009-05-23T00:26:02Z

(2008) <br/>

http://publicationslist.org/jose.campos/refid66 2009-05-23T00:21:49Z

M D Harrison, J C Campos, G Doherty, K Loer (2008) <i>Maturing Usability : Quality in Software, Interaction and Value</i> 56-74<br/>

http://publicationslist.org/jose.campos/refid5 2009-05-23T00:29:47Z

N Guerreiro, S Mendes, V Pinheiro, J C Campos (2008) <i>Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina</i> 93-102<br/>

http://publicationslist.org/jose.campos/refid79 2009-05-23T00:17:41Z

H Pinto, R José, J C Campos (2007) <i></i> <i>IEEE International Conference on Pervasive Services 2007 (ICPS’07)</i> <i>http://dx.doi.org/10.1109/PERSER.2007.4283921</i> : 232-241<br/>

http://publicationslist.org/jose.campos/refid13 2009-05-23T00:17:41Z

M A Barbosa, L S Barbosa, J C Campos (2007) <i></i> <i>Proceedings of the First International Workshop in Formal Methods for Interactive Systems (FMIS 2006)</i> <i>http://dx.doi.org/10.1016/j.entcs.2007.01.063</i> : 183 73-88<br/>

http://publicationslist.org/jose.campos/refid69 2009-05-23T00:17:41Z

Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interactive behaviour in ubiquitous systems. Of particular interest is the way that these models may help engineers to visualise the consequences of different designs. Design options based on a dynamic signage system (GAUDI) are...<br/><br/>M Harrison, C Kray, J C Campos (2007) <i></i> <i>Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007)</i> <i></i> 208: 41-55<br/>

http://publicationslist.org/jose.campos/refid86 2009-05-23T00:17:41Z

J L Silva, J C Campos, A Paiva (2007) <i></i> <i>Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007)</i> <i></i> 208: 77-93<br/>

http://publicationslist.org/jose.campos/refid80 2009-05-23T00:17:41Z

A N Ribeiro, J C Campos, F Martins (2007) <i></i> <i>Proceeedings of HCI Educators 2007</i> <i></i> : 48-57<br/>

http://publicationslist.org/jose.campos/refid85 2009-05-23T00:17:41Z

J C Silva, J C Campos, J Saraiva (2007) <i></i> <i>Interactive Systems</i> <i></i> 4323: 137-150<br/>

http://publicationslist.org/jose.campos/refid72 2009-05-23T00:17:41Z

J Machado, E Seabra, F Soares, J Campos (2007) <i></i> <i>Proceedings of 11th IFAC Symposium on Large Scale Systems - Theory and Applications (LSS 2007)</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid70 2009-05-23T00:17:41Z

J Machado, E Seabra, J C Campos, F Soares, C P Leao, J F Silva (2007) <i></i> <i>19th International Congress of Mechanical Engineering (COBEM 2007)</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid87 2009-05-23T00:17:41Z

N M E Sousa, J C Campos (2006) <i></i> <i>Interacção 2006 – Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina</i> <i></i> : 181-190<br/>

http://publicationslist.org/jose.campos/refid40 2009-05-23T00:17:41Z

Reasoning about the usability of a given interactive system’s design is a difficult task. However it is one task that must be performed if downstream costs with extensive redesign are to be avoided. Traditional usability testing alone cannot avoid these costs since it too often is performed late in development life cycle. In recent years approaches have been put forward that attempt to reason ab...<br/><br/>J C Campos, M D Harrison (2006) <i></i> <i>Encyclopedia of Human-Computer Interaction</i> <i></i> : 45-54<br/>

http://publicationslist.org/jose.campos/refid14 2009-05-23T00:17:41Z

M A Barbosa, L S Barbosa, J C Campos (2006) <i></i> <i>Pre-event Proceedings of the 1st International Workshop in Formal Methods for Interactive Systems – FMIS 2006</i> <i></i> : 347 108-123<br/>

http://publicationslist.org/jose.campos/refid82 2009-05-23T00:17:41Z

S Rodrigues, J C Campos, A N Ribeiro (2006) <i></i> <i>CSMU 2006 – Conference on Mobile and Ubiquitous Systems (posters section)</i> <i></i> : 171-174<br/>

http://publicationslist.org/jose.campos/refid33 2009-05-23T00:17:41Z

J C Campos, G J Doherty (2006) <i></i> <i>Interactive Systems : Design, Specification and Verification</i> <i></i> 3941: 188-200<br/>

http://publicationslist.org/jose.campos/refid15 2009-05-23T00:17:41Z

M Borges, A N Ribeiro, J C Campos (2006) <i></i> <i>CSMU 2006 – Conference on Mobile and Ubiquitous Systems (posters section)</i> <i></i> : 175-178<br/>

http://publicationslist.org/jose.campos/refid93 2009-05-23T00:26:46Z

(2006) <br/>

http://publicationslist.org/jose.campos/refid57 2009-05-23T00:17:41Z

J C Campos, A N Ribeiro (2006) <i></i> <i>Interacção 2006 – Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina</i> <i></i> : 77-80<br/>

http://publicationslist.org/jose.campos/refid84 2009-05-23T00:17:41Z

J C Silva, J C Campos, J Saraiva (2006) <i></i> <i>3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies (ateM 2006) for Reverse Engineering</i> <i></i> : 1/2006 <br/>

http://publicationslist.org/jose.campos/refid62 2009-05-23T00:17:41Z

Internet accessibility for the visually impaired community is still an open issue. Guidelines have been issued by the W3C consortium to help web designers to improve web site accessibility. However several studies show that a significant percentage of web page creators are still ignoring the proposed guidelines. Several tools are now available, general purpose, or web specific, to help visually im...<br/><br/>A R Fernandes, J R Pereira, J C Campos (2006) <i></i> <i>Enterprise Information Systems VI</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid75 2009-05-23T00:17:41Z

A Mano, J C Campos (2006) <i>Jornal de Ciências Cognitivas</i> <i></i> <i>http://jcienciascognitivas.home.sapo.pt/06-09_creissac.html</i> : <br/>

http://publicationslist.org/jose.campos/refid74 2009-05-23T00:17:41Z

A Mano, J C Campos (2006) <i></i> <i>Interacção 2006 – Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina</i> <i></i> : 195-198<br/>

http://publicationslist.org/jose.campos/refid83 2009-05-23T00:17:41Z

J C Silva, J C Campos, J Saraiva (2006) <i></i> <i>Interacção 2006 – Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina</i> <i></i> : 63-72<br/>

http://publicationslist.org/jose.campos/refid92 2009-05-23T00:17:41Z

L Teixeira, Ó. Costa, V Pereira, C P Leão, F O Soares, M T Restivo, F Chouzal, J Mendes, J C Campos (2005) <i></i> <i>VII Simpósio Internacional de Informática Educativa – SIIE’05 (posters section)</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid37 2009-05-23T00:17:41Z

J C Campos, A R Fernandes (2005) <i></i> <i>HCI International – 11th International Conference on Human-Computer Interaction (posters section)</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid76 2009-05-23T00:17:41Z

A Mano, J C Campos (2005) <i></i> <i>Workshop on Child Computer Intercation : Methodological Reasearch, 10th IFIP International Conference on Human Computer Interaction – Interact 2005</i> <i>http://www.chici.org/interact.htm</i> : 32-35<br/>

http://publicationslist.org/jose.campos/refid21 2009-05-23T00:17:41Z

J C Campos (2005) <i></i> <i>HCI International 2005 – 11th International Conference on Human-Computer Interaction (posters section)</i> <i></i> : <br/>

http://publicationslist.org/jose.campos/refid19 2009-05-23T00:17:41Z

The theories and practices of software engineering and of human-computer interaction have, to a great extent, evolved separately. It seems obvious that the development of an interactive system would benefit from input from both disciplines. In practice, however, the communication between the two communities has been difficult. Models can be a particularly good tool for communication. For that to h...<br/><br/>J C Campos (2004) <i></i> <i>ICSE 2004 Workshop : Bridging the Gaps II</i> <i></i> : 54-61<br/>

http://publicationslist.org/jose.campos/refid63 2009-05-23T00:17:41Z

Internet accessibility for the visually impaired community is still an open issue. Guidelines have been issued by the W3C consortium to help web designers to improve web site accessibility. However several studies show that a significant percentage of web page creators are still ignoring the proposed guidelines. Several tools are now available, general purpose, or web specific, to help visually im...<br/><br/>A R Fernandes, J R Pereira, J C Campos (2004) <i></i> <i>ICEIS 2004 : Proceedings of the 6th International Conference on Enterprise Information Systems</i> <i></i> 5: 75-80<br/>

http://publicationslist.org/jose.campos/refid49 2009-05-23T00:17:41Z

J C Campos, M D Harrison, Karsten Loer (2004) <i></i> <i>Verification and Validation of Enterprise Information Systems (VVEIS 2004)</i> <i></i> : 87-96<br/>

http://publicationslist.org/jose.campos/refid77 2009-05-23T00:17:41Z

Esta comunica??o ? uma tentativa de sistematizar a aplica??o de um m?todo de an?lise de usabilidade: o cognitive walkthrough. Pode ent?o ser utilizada como um tutorial, apresentando um exemplo da aplica??o do m?todo a uma situa??o pr?tica.<br/><br/>A Mano, J C Campos (2004) <i></i> <i>Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Ḿ aquina (secção de posters)</i> <i></i> : 256-258<br/>

http://publicationslist.org/jose.campos/refid23 2009-05-23T00:17:41Z

A norma ISO DIS 9241-11 define usabilidade de um sistema como a efic?cia, efici?ncia e satisfa??o com que utilizadores determinados atingem objectivos determinados em ambientes espec?ficos. A an?lise de usabilidade de um sistema deve ent?o ter em considera??o os utilizadores e o contexto de utiliza??o. Isto coloca problemas pois tipicamente os engenheiros de software n?o est?o motivados, nem tem o...<br/><br/>J C Campos (2004) <i></i> <i>Interacção 2004 - 1a. Conferência Nacional em Interacção Pessoa-Ḿ aquina</i> <i></i> : 171-176<br/>

http://publicationslist.org/jose.campos/refid43 2009-05-23T00:17:41Z

J C Campos, M D Harrison (2003) <i></i> <i>Bridging the Gaps Between Software Engineering and Human-Computer Interaction, ICSE ’2003 workshop</i> <i></i> : 49-56<br/>

http://publicationslist.org/jose.campos/refid34 2009-05-23T00:17:41Z

J C Campos, G J Doherty (2003) <i></i> <i>Interactive Systems : Design, Specification and Verification – 10th International Workshop, DSV-IS 2003</i> <i></i> 2844: 288-302<br/>

http://publicationslist.org/jose.campos/refid18 2009-05-23T00:17:41Z

J C Campos (2003) <i></i> <i>Interactive Systems : Design, Specification and Verification – 10th International Workshop, DSV-IS 2003</i> <i></i> 2844: 171-186<br/>

http://publicationslist.org/jose.campos/refid17 2009-05-23T00:17:41Z

J C Campos (2003) <i></i> <i>CLIHC 2003 Conference Proceedings</i> <i></i> : 17-28<br/>

http://publicationslist.org/jose.campos/refid45 2009-05-23T00:17:41Z

J C Campos, M D Harrison (2001) <i>Automated Software Engineering</i> <i></i> <i>http://www.wkap.nl/oasis.htm/337710</i> 8: 3/4 275-310<br/>

http://publicationslist.org/jose.campos/refid32 2009-05-23T00:32:14Z

J C Campos, G J Doherty (2001) <i>Continuity in Future Computing Systems - Proceedings of I^3 Spring Days Workshop</i> 80-95<br/>

http://publicationslist.org/jose.campos/refid59 2009-05-23T00:17:41Z

G J Doherty, J C Campos, M D Harrison (2000) <i>Formal Aspects of Computing</i> <i></i> <i>http://link.springer.de/link/service/journals/00165/bibs/0012004/00120260.htm</i> 12: 260-277<br/>

http://publicationslist.org/jose.campos/refid38 2009-05-23T00:23:24Z

J C Campos, M D Harrison (1999) <i>Design, Specification and Verification of Interactive Systems ’99</i> 167-188<br/>

http://publicationslist.org/jose.campos/refid25 2009-05-23T00:17:41Z

J C Campos, (1999) <i></i> <i></i> <i>ftp://ftp.cs.york.ac.uk/reports/YCST-2000-09.ps.gz</i> : <br/>

http://publicationslist.org/jose.campos/refid58 2009-05-23T00:23:56Z

G Doherty, J C Campos, M D Harrison (1998) <i>Proceedings of the BCS-FACS Workshop : Formal Aspects of the Human Computer Interaction</i> 193-212<br/>

http://publicationslist.org/jose.campos/refid44 2009-05-23T00:24:20Z

J C Campos, M D Harrison (1998) <i>Design, Specification and Verification of Interactive Systems ’98</i> 155-170<br/>

http://publicationslist.org/jose.campos/refid27 2009-05-23T00:17:41Z

J C Campos (1998) <i></i> <i>13th IEEE International Conference : Automated Software Engineering - Doctoral Symposium Proceedings</i> <i></i> : 13-15<br/>

http://publicationslist.org/jose.campos/refid42 2009-05-23T00:24:30Z

J C Campos, M D Harrison (1997) <i>Design, Specification and Verification of Interactive Systems ’97</i> 109-124<br/>

http://publicationslist.org/jose.campos/refid53 2009-05-23T00:24:48Z

J C Campos, F M Martins (1996) <i>Formal Aspects of the Human Computer Interface</i> <br/>

http://publicationslist.org/jose.campos/refid51 2009-05-23T00:17:41Z

J C Campos, F M Martins (1994) <i></i> <i>6$^\mbox\bo$ Encontro Português de Computação Gráfica</i> <i>http://www.di.uminho.pt/~jfc/research/papers/CamposM94b/artigo6epcg.html</i> : 2-15<br/>

http://publicationslist.org/jose.campos/refid55 2009-05-23T00:17:41Z

J C Campos, F M Martins (1993) <i></i> <i>5$^\mbox\bo$ Encontro Português de Computação Gráfica</i> <i></i> : 197-209<br/>