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
A central issue in program verification is the generation of verification conditions (VCs): proof obligations which, if successfully discharged, guarantee the correctness of a program vis-a-vis a given specification. While the basic theory of program verification has been around since the 1960s, the late 1990s saw the advent of practical tools for the verification of realistic programs, and research in this area has been very active since then. Automated theorem provers have contributed decisively to these developments. This paper establishes a basis for the generation of verification conditions combining forward and backward reasoning, for programs consisting of mutually-recursive procedures annotated with contracts and loop invariants. We introduce also a visual technique to verify a program, in an interactive way, using Verification Graphs (VG), where a VG is a Control Flow Graph (CFG) whose edges are labeled with contracts (pre- and postconditions). This technique intends to help a software engineer to find statements that are not valid with respect to the program's specification.

Abstract

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
This paper presents the state of the art on methods for the development of a metadata application profile (AP). For this purpose we perform searches in scientific online databases and made other efforts such as global searches on the web and calls on the mailing lists of the metadata communities to find information about AP development and metadata best practices or methods for the development of AP. These searches produced 21 items of which nine have information on how the AP is developed. As a result of this analysis, we came up with small formulas or specific recipes for very particular phases of the process, but none is described in detail. We have also come up with guidelines that were too global and not sufficiently detailed for the AP development. As far as we could determine, there is no comprehensive methodological support for a metadata application profile development. Copyright © 2013 Inderscience Enterprises Ltd.

Abstract
The global economic crisis makes it necessary to increase business competitiveness. Lean is a manufacturing philosophy that deserves the attention of employers and their employees, since its objectives are to increase productivity, reduce waste, and optimize available resources. The 5S method is a lean tool that can improve productivity by improving the organization of the workplace. A brief survey of the market showed that there are several organizations dedicated to training and sharing this type of knowledge but only a few of them have digital tools available. Therefore, the use of a digital serious game that helps to understand the 5S method can effectively support an alternative form of learning. This article proposes a serious game that aims to respond to this need. This practical approach encourages the player to learn by trial and error. Information displayed throughout the game enhances learning, without a cognitive overload for the player. The game's evaluation has shown that our approach is efficient and results in the learning of 5S concepts. © 2013 IEEE.