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

2010

Feature Petri Nets

Autores
Muschevici, R; Clarke, D; Proença, J;

Publicação
Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)

Abstract

2010

Train tracks with C1+ self-renormalizable structures

Autores
Pinto, AA; Rand, DA;

Publicação
JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS

Abstract
We prove a one-to-one correspondence between C1+ conjugacy classes of diffeomorphisms with hyperbolic sets contained in surfaces and stable and unstable pairs of one-dimensional C1+ self-renormalizable structures.

2010

Safe Integration of Annotated Components in Open Source Projects

Autores
Areias, S; da Cruz, DC; Henriques, PR; Pinto, JS;

Publicação
ECEASST

Abstract
The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integration process. However, the reuse of software components raises a spectrum of issues, from requirements negotiation to product selection and integration. The correct tradeoff is reached after having analyzed advantages and issues correlated to the reuse. Despite the reuse failures in real cases, many efforts have been made to make this idea successful. In this context of software reuse in open source projects, we address the problem of reusing annotated components proposing a rigorous approach to assure the quality of the application under construction. We introduce the concept of caller-based slicing as a way of certifying that the integration of a component annotated with a contract into a system will preserve the correct behavior of the former, avoiding malfunctioning after integration. To complement the efforts done and the benefits of slicing techniques, there is also a need to find an efficient way to visualize the main program with the annotated components and the slices. To take full profit of visualization, it is crucial to combine the visualization of the control/data flow with the textual representation of source code. To attain this objective, we extend the notions of System Dependence Graph and Slicing Criterion to cope with annotations. © 2010, Universitatsbibliothek TU Berlin.

2010

Paradigm Shift: From ePortfolios to PLEs

Autores
Tavares, C; Oliveira, L; Silva, M;

Publicação
PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1

Abstract
A Personal Learning Environment (PLE) reflects, as a concept, the combination of the set of tools that we use around internet, helping to perceive what we are and what we learn. PLEs are able to bring together all learning experiences acquired in different contexts and mix those experiences in order to reflect ones knowledge. This paper aims at analyzing and exploring the advantages of a PLE, focusing specially on the use of ePortfolios in this context, by considering different approaches and exploring the relationship between the development of an e-portfolio and the students learning styles and multiple intelligences. This focus results from our perception that being aware of the students learning preferences is essential to enhance the quality of the teaching-learning environment, developing different kinds of activities and using different learning tools. In order to understand if and how those concepts (ePortfolios, learning styles and multiple intelligences) are related and to develop some understanding on an approach to correlate them, we have used some assessment tools and applied them in a case study in the area of translation and terminology leaning. The study, briefly described in this paper, has been a well succeeded one. However, we expect to foster further knowledge on the factors that should be changed during the teaching-learning process, by detecting and suggesting improvements. For that we will also reflect on what should be done to achieve better results when using ePortfolios, and consider other tools and approaches to enhance this process, such as social networks

2010

i-om: Intelligent Optimization for Computer Graphics and Visualization

Autores
Moreira, PM; Reis, LP; de Sousa, AA;

Publicação
SISTEMAS Y TECNOLOGIAS DE INFORMACION

Abstract
There are several problems in the computer graphics and visualization domains which require optimization tasks to be performed in order to improve the quality of the overall process. In this context, we propose and describe an innovative optimization methodology and a supporting software framework: i-om. The design goals of the proposed framework were twofold. The first comprises the decoupling, as much as possible, of the optimization process from the application specific processing tasks. In order to attain this goal, we opted to make use of intelligent techniques (i.e. metaheuristics). The second goal is to allow remote operation, and consequently great portability and interoperability, between the optimization tools and the visualization application. To fulfill the latter requirement the proposed framework was designed with the ability to communicate with external application using a specifically developed high level message protocol. The optimization framework was implemented and the paper presents illustrative results demonstrating the usefulness and effectiveness of the proposed approach..

2010

Towards a Theory of Views for Feature Models

Autores
Clarke, D; Proença, J;

Publicação
Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)

Abstract

  • 3665
  • 4496