Publications

Silva JC, Campos JC, Saraiva JA.  2006.  Models for the Reverse Engineering of Java/Swing Applications. 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies for Reverse Engineering. Abstractjcsilva06_jas.pdf

Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models-based directly from the Java/Swing legacy code.

Silva JC, Campos JC, Saraiva JA.  2006.  Engenharia Reversa de Sistemas Interactivos Desenvolvidos em Java2/Swing. Interação 2006 - Actas da 2a. Conferência Nacional em Interação Pessoa-Máquina. :63-72. Abstractinter2006_jas.pdf

A manutenção e evolução de sistemas interactivos dá origem a problemas importantes que afectam a sua eficiência e eficácia. Neste trabalho pretende-se combinar programação funcional, programação estratégica, code slicing e modelos com semântica formal na tentativa de fortalecer a tese de que a aplicação destas metodologias e tecnologias, em conjunção com um processo de engenharia reversa de código fonte, permite melhorar significativamente o suporte à manutenção de sistemas interactivos.

Sousa N, Campos JC.  2006.  IVY Trace Visualiser. Interação 2006 - Actas da 2a. Conferência Nacional em Interação Pessoa-Máquina. :181-190. Abstract17_yvy_jose_campos_1.pdf

No contexto do projecto IVY, tem vindo a ser desenvolvida uma ferramenta de modelação e análise de sistemas interactivos, tendo em vista a detecção de potenciais problemas de usabilidade no início do desenvolvimento de um qualquer sistema interactivo. Quando uma dada propriedade em análise não se verifica, a ferramenta procura indicar um contra-exemplo: um comportamento do modelo que demonstre a falsidade da propriedade em questão. Estes contra-exemplos, no entanto, podem atingir tamanhos consideráveis, dependendo da complexidade do mode- lo, o que dificulta a sua análise. De forma a facilitar essa análise, a arquitectura da ferramenta IVY prevê um componente de suporte à análise. Este componente visa, através de representações visuais e de mecanismos de análise, facilitar a compreensão dos contra exemplos, de forma a tornar mais claro qual o problema que está a ser apontado e possíveis soluções para o mesmo. Este artigo apresenta o componente de análise da ferramenta IVY. São apresentadas a arquitectura do componente, as representações implementadas e os mecanismos de análise disponibilizados.

Campos JC, Ribeiro AN, Borges M.  2006.  A push infrastructure for mobile application deployment in mobile environments. Proceedings of the Conference on Mobile and Ubiquitous Systems (CMUS),. Abstractcsmu_mborges_rev2.pdf

Mobile devices tend to be a synonym of variety. Variety both in hardware capabilities and software act as restrictions to software development and deployment. Other restrictions arise from their condition of mobility, environmental conditions such as bandwidth, coverage availability, lighting and availability of services. In that perspective, this work intends to explore the possibility of a model of application deployment and execution that minimizes these issues - software gets pushed through an infrastructure and interaction between the user and the application is expected to have a behaviour between these two modes: purely client based and purely online based.

Campos JC.  2005.  Model based web interfaces' analysis. HCI International 2005 - 11th International Conference on Human-Computer Interaction (posters section). Abstract0fcfd508e7e264007c000000.pdf

Tools exist that look at the usability of sites from a static perspective – for example, looking for broken links. Other tools analyse web server's logs to understand how users behave when using the site. While these tools are helpful, they can only be applied after development and deployment. This paper investigates how a model checking based approach can be applied to web sites' design to reason about their behavioral properties from the early stages of development. The goal is that analysis of possible interactions between users and a site might be performed before actual development and deployment of the site.

Campos JC, Fernandes A.  2005.  Testing AudioBrowser. HCI International - 11th International Conference on Human-Computer Interaction (posters section). Abstracthciint05-ab_af.pdf

We are developing AudioBrowser, a browser for visually impaired users. This paper presents a usability analysis study that was carried out on the first version of the browser. Due to the lack of availability of visually impaired users not involved with the tool's design, we had to resort to simulate a visual impaired situation with regular sighted users. Although this may seem unrealistic we believe that this is actually a worst case scenario.The problems identified during this study are described, and proposals for the next version of the tool are put forward.

Mano A, Campos JC.  2005.  A study on usability criteria regarding interfaces for children. Interact 2005 Workshop on Child Computer Interaction: Methodological Research. :32-35. Abstractinteract05-kids.pdf

Building an application's interface is always an attempt to match the software functions with the users' mental model. This task is complicated enough when an adult is designing the interface to other adults. When the users are children, the challenge is harder still. How can the users' mental model be predicted? This communication deals with a study that aims to answer this question, going from the characteristics of the children cognitive thought to the discovery of efficient design guidelines for interfaces.

Teixeira L, Costa Ó, Pereira V, Leão CP, Soares F, Restivo M, Chouzal F, Mendes J, Campos JC.  2005.  Laboratórios virtuais: duas aplicações no ensino de engenharia. 7º Simpósio Internacional de Informática Educativa – SIIE. Abstractp479-teixeira.pdf

Este projecto insere-se no âmbito dos estágios curriculares de final de curso da licenciatura em Matemática e Ciências de Computação da Universidade do Minho e da disciplina de Laboratório de Automação do 5ºano da licenciatura de Engenharia Mecânica Faculdade de Engenharia da Universidade do Porto. O trabalho proposto, numa base de ensino/aprendizagem colaborativo e multidisciplinar, assenta também na prática assistido por projecto. Este projecto consiste no desenvolvimento de objectos de aprendizagem através da construção e disponibilização de simuladores e conteúdos de suporte em ambiente Web. Foram desenvolvidas aplicações baseadas em sistemas reais: medição e controlo do nível de um sistema de tanques em circuito fechado e medição da deformação de uma estrutura. Visa, também, a implementação dos sistemas experimentais, respectiva sensorização, actuação e controlo para integração num projecto de Laboratórios Remotos . Os Laboratórios Virtuais e os Laboratórios Remotos têm sido alvo de particular atenção no âmbito do ensino a distância, como meio complementar ao ensino tradicional ou na sua utilização integrada em redes de parceiros partilhando as capacidades laboratoriais distintas de diferentes instituições.

Campos JC.  2004.  The modelling gap between software engineering and human-computer interaction. ICSE Workshop: Bridging the Gaps II. :54-61. Abstracticse04.pdf

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 happen the differences between the models used by each community must first be identified and understood. This paper looks at the gaps between the models used by the software engineering and the human-computer interaction communities. It identifies where differences between these models can be found, and some aspects that need addressing in order to promote better communication.

Campos JC.  2004.  Análise de usabilidade baseada em modelos. Interação 2004 - 1a. Conferência Nacional em Interação Pessoa-Máquina. :171-176. Abstractint04.pdf

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 os conhecimentos necessários, para analisarem o sistema desta perspectiva. Neste artigo apresenta-se a arquitectura de uma ferramenta que suporta uma abordagem ao desenvolvimento de sistemas interactivos em que se procura facilitar a comunicação entre as comunidades da Interacção Humano-Computador e da Engenharia de Software.

Fernandes A, Pereira JO, Campos JC.  2004.  Accessibility and Visually Impaired Users. ICEIS - Proceedings of the 6th International Conference on Enterprise Information Systems. 5:75-80. Abstracticeis04.pdf

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 impaired readers. But is reading a web page enough? Regular sighted users are able to scan a web page for a particular piece of information at high speeds. Shouldn't visually impaired readers have the same chance? This paper discusses some features already implemented to improve accessibility and presents a user feedback report regarding the AudioBrowser, a talking browser. Based on the user feedback the paper also suggests some avenues for future work in order to make talking browsers and screen readers compatible.

Mano A, Campos JC.  2004.  A study about usability criteria on computer interfaces for children. 1st Portuguese Forum of Experimental Psychology. Abstracthandout.pdf

This study's main goal is to produce a set of guidelines intended to aid a programmer who wishes to build a computer application targeted at children ranging from 5 to 7 years old.

Mano A, Campos JC.  2004.  Aplicação de um Cognitive Walkthrough - estudo de caso. Interação 2004 - 1a. Conferência Nacional em Interação Pessoa-Máquina. :256-258. Abstractint04-mano.pdf

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.

Campos JC, Harrison M, Loer K.  2004.  Verifying user interface behaviour with model checking. Verification and Validation of Enterprise Information Systems (VVEIS 2004). :87-96. Abstract10.1.1.131.5872.pdf

A large proportion of problems found in deployed systems relate to the user interface. This paper presents an approach to the verification of user interface models based on model checking. The approach is intended to be used early in design. The verification is concerned with behavioural aspects of the user interface and requires models that represent both the interactive aspects and also capture important features of the context to allow restrictions of behaviour to those that conform to appropriate human and environmental constraints. A tool suite to support the approach is under development and is described. Future work directions are put forward.

Campos JC, Doherty G.  2003.  Reasoning about Dynamic Information Displays. II3 Spring Days Workshop. 2844:288-302. Abstracti3sd01-cfcs.pdf

With increasing use of computing systems while on the move and in constantly changing conditions, whether it is via mobile devices, wearable computers or embedded systems in the environment, time plays an increasingly important role in interaction. The way in which information is represented in an interface is fundamental to interaction with it, and how the information is used in the users tasks and activities. Dynamic representations where the user must perceive changes in the information displayed over time pose a further challenge to the designer. Very often this information is integrated with information from the environment in the performance of the user’s tasks. The diminutive size and limited display capabilities of many ubiquitous and mobile computing devices further motivate careful design of these displays. In this paper we look at how time can be taken into account when reasoning about representational issues from the early stages of design. We look at a model which can be used to reason about these issues in a structured fashion, and apply it to an example.