Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HumanISE

2016

Incremental Modular Testing for AOP

Autores
Restivo, A; Aguiar, A; Moreira, A;

Publicação
ICSOFT-PT: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 2

Abstract
By designing systems as sets of modules that can be composed into larger applications, developers unleash a multitude of advantages. The promise of AOP (Aspect-Oriented Programming) is to enable developers to organize crosscutting concerns into separate units of modularity making it easier to accomplish this vision. However, AOP does not allow unit tests to be untangled, which impairs the development of properly tested independent modules. This paper presents a technique that enables developers to encapsulate crosscutting concerns using AOP and still be able to develop reusable unit tests. Our approach uses incremental testing and invasive aspects to modify and adapt tests. The approach was evaluated in a medium scale project with promising results. Without using the proposed technique, due to the presence of invasive aspects, some unit tests would have to be discarded or modified to accommodate the changes made by them. This would have a profound impact on the overall modularity and, in particular, on the reusability of those modules. We will show that this technique enables proper unit tests that can be reused even when coupled with aspect-oriented code.

2016

A decision support method to identify target geographic markets for health care providers

Autores
Polzin, P; Borges, J; Coelho, A;

Publicação
PAPERS IN REGIONAL SCIENCE

Abstract
Spatial analyses and competition assessments can be used by firms to identify target geographic markets for entry. By integrating these two kinds of analysis, this paper presents an innovative method that identifies target geographic markets for health care providers. In these target markets, supply is potentially insufficient to satisfy demand and competition problems that make entry unsuccessful are not expected to occur. Considering the Portuguese hospital health care market, an application of the method in a case study illustrates how the method works in practice.

2016

Spatial-Temporal Data Watch to Digital Media PhD Thesis Proposal in Informatics Engineering

Autores
Dias, L; Carvalho, A; Coelho, A;

Publicação
2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)

Abstract
This paper presents a PhD thesis proposal in Informatics Engineering, scheduled for completion in July 2018. This PhD thesis is part of Spatio-Temporal Information Systems, with applicability in technological communication tools and visual representation of knowledge, for Digital Media (newspapers, radio and television). It is intended to maximize the efficiency and effectiveness of the value of heterogeneous, multivariate, multidimensional information characteristic of this context, produced and shared by different sources, in different formats. It is hoped that participation in this Doctoral Symposium will enrich and update the work in progress and help the preparation of the PhD thesis proposal.

2016

Relation Between Game Genres and Competences for In-Game Certification

Autores
Baptista, R; Coelho, A; de Carvalho, CV;

Publicação
SERIOUS GAMES, INTERACTION, AND SIMULATION, SGAMES 2015

Abstract
Digital Games can be effective as learning tools, in applications that can be designated as Serious Games (SG), Games for Learning (GL) or Games-based learning (GBL). SG provide challenges in accordance with the intended learning objectives and can adapt and/or repeat (by allowing error recovering) them according to the learner's level. In training, this aspect is decisive in the acquisition of knowledge, experience and professional skills. The effectiveness of games-based training is directly related to the success on how the challenges promote the acquisition of skills, for which there is no optimal design methodology. This paper presents how a study that identifies the most appropriate game genres to develop specific skills and competences can be used to provide initial solutions to serious games design methodologies. The Triadic Certification model combines the competences defined for each training plan with the challenges designed for the serious games on a matrix that matches the needs and levels.

2016

Editorial

Autores
Vaz de Carvalho, C; Escudeiro, P; Coelho, A;

Publicação
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering - Serious Games, Interaction, and Simulation

Abstract

2016

Preface

Autores
Vaz de Carvalho, C; Escudeiro, P; Coelho, A;

Publicação
Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST

Abstract

  • 313
  • 589