Abstract
plataforma APEX foi desenvolvida para a prototipagem de ambientes de computação ubíqua. Neste artigo exploramos a sua aplicabilidade ao desenvolvimento de Jogos Sérios. Ou seja, jogos que para além de uma componente lúdica, possuem uma componente instrutiva e formativa. Em concreto, descrevemos o Jogo da Asma. Um jogo que pretende chamar a atenção das crianças para os factores causadores de ataques de asma, bem como transmitir conhecimento sobre como os evitar. Para além de se descrever o jogo, descrevem-se os resultados de um estudo em que se procurou avaliar quer a viabilidade da utilização da plataforma na criação de jogos sérios, quer a usabilidade do próprio jogo.

Abstract
Este artigo descreve a avaliação de um ambiente ubíquo utilizando a APEX, uma plataforma de prototipagem rápida de ambientes ubíquos que permite que os utilizadores naveguem num mundo virtual, podendo experimentar muitas das funcionalidades da solução e do design proposto.

Abstract
Cada vez mais as interfaces gráficas são um ponto-chave entre a comunicação dos utilizadores e o sistema. Para garantir que estas executam devidamente uma adequada fases de testes é essencial. No entanto, a execução de testes numa interface é um processo dispendioso e moroso, sendo estes tipicamente executados de forma manual. Neste artigo é explorada a automatização do processo de teste de interfaces para aplicações Web. Adopta-se uma abordagem de testes baseados em modelos. Os casos de teste são gerados recorrendo a modelos de tarefas e o comportamento da interface comparado com o que está prescrito no modelos de tarefas. Uma ferramenta que suporta a abordagem está em desenvolvimento.

Abstract
Os métodos analíticos baseados em modelos de avaliação de sistemas interativos foram propostos como alternativa aos testes com o utilizador nas últimas fases de desenvolvimento de software devido aos custos destes últimos. No entanto, a utilização isolada de modelos do comportamento do sistema limita os resultados fornecidos pelos métodos analíticos. Um exemplo dessas limitações relaciona-se com o facto destes serem incapazes de identificar problemas de implementação que terão impacto na usabilidade. Com a introdução de testes baseados em modelos é possível contornar o problema e testar se o software implementado vai de encontro ao modelo especificado. Este artigo apresenta uma abordagem para a geração de casos de testes baseados em modelos a partir da análise estática do código fonte.;The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

Abstract
APEX was developed as a framework for the prototyping of ubiquitous computing (ubicomp) environments. In this paper we explore its role as a platform for developing serious games. In particular we describe the Asthma game which is aimed at raising awareness of Asthma triggers among children. The game is designed to stimulate a healthier life-style for children with ashma.

Abstract