Encontrados 132 documentos, a visualizar página 1 de 14
Structure, growth and production of a remarkably abundant population of the com...
Souza, A. T.; Dias, E.; Campos, J.; Marques, J. C.; Martins, I.The common goby, Pomatoschistus microps, is a relevant species from estuarine food webs, playing important roles as predator of polychaetes and crustaceans and as prey for larger fishes and crustaceans. The Minho estuary (NW Portugal) is a relatively wellpreserved and productive system. To assess the population structure and production of P. microps in this estuary, monthly samples were undertaken in three diff...
An approach for graphical user interface bad smells detection
Silva, J.C.; Campos, J.C.; Saraiva, J.; Silva, J.L.In the context of an e ort to develop methodologies to support the evaluation of interactive system, this paper investigates an approach to detect graphical user interface bad smells. Our approach consists in detecting user interface bad smells through model-based reverse engineering from source code. Models are used to de ne which widgets are present in the interface, when can particular graphical user interfa...
Analysing interactive devices based on information resource constraints
Campos, J. Creissac; Doherty, Gavin; Harrison, Michael D.Analysis of the usability of an interactive system requires both an understanding of how the system is to be used and a means of assessing the system against that understanding. Such analytic assessments are particularly important in safety-critical systems as latent vulnerabilities may exist which have negative consequences only in certain circumstances. Many existing approaches to assessment use tasks or scen...
Heat transfer coefficients from Newtonian and non-Newtonian fluids flowing in l...
Pimenta, Teresa Araújo; Campos, J. B. L.This study aimed to carry out experimental work to obtain, for Newtonian and non-Newtonian fluids, heat transfer coefficients, at constant wall temperature as boundary condition, in fully developed laminar flow inside a helical coil. The Newtonian fluids studied were aqueous solutions of glycerol, 25%, 36%, 43%, 59% and 78% (w/w) and the non-Newtonian fluids aqueous solutions of carboxymethylcellulose (CMC), a ...
A specification patterns system for discrete event systems analysis
Campos, J. Creissac; Machado, José MendesAs formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express properties of a system's behavior is needed in order to guarantee that properties correctly encode the intent of the verification process. Writing appropriate properties, in a logic suitable for verification, is a skillful process. Errors in this ste...
Combining static and dynamic analysis for the reverse engineering of web applic...
Silva, Carlos Eduardo; Campos, J. CreissacSoftware has become so complex that it is increasingly hard to have a complete understanding of how a particular system will behave. Web applications, their user interfaces in particular, are built with a wide variety of technologies making them particularly hard to debug and maintain. Reverse engineering techniques, either through static analysis of the code or dynamic analysis of the running application, can ...
Developing serious games with the APEX framework
Gomes, Tiago Emanuel Oliveira; Abade, Tiago; Harrison, Michael D.; Silva, José L.; Campos, J. CreissacAPEX 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.
Ambiente de geração, mutação e execução de casos de teste para aplicações Web
Cruz, Paulo Jesus; Campos, J. CreissacCada 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 apli...
Avaliação de ambientes ubíquos na plataforma APEX
Abade, Tiago; Gomes, Tiago Emanuel Oliveira; Silva, José L.; Campos, J. CreissacEste 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.
Desenvolvimento de jogos educativos na plataforma APEX : o jogo da asma
Gomes, Tiago Emanuel Oliveira; Abade, Tiago; Silva, José L.; Campos, J. Creissac; Harrison, Michael Douglasplataforma 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...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||