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 HASLab

2015

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2015, Bordeaux, France, April 21, 2015

Autores
Baquero, C; Serafini, M;

Publicação
PaPoC@EuroSys

Abstract

2015

Embedding, Evolution, and Validation of Model-Driven Spreadsheets

Autores
Cunha, J; Fernandes, JP; Mendes, J; Saraiva, J;

Publicação
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Abstract
This paper proposes and validates a model-driven software engineering technique for spreadsheets. The technique that we envision builds on the embedding of spreadsheet models under a widely used spreadsheet system. This means that we enable the creation and evolution of spreadsheet models under a spreadsheet system. More precisely, we embed ClassSheets, a visual language with a syntax similar to the one offered by common spreadsheets, that was created with the aim of specifying spreadsheets. Our embedding allows models and their conforming instances to be developed under the same environment. In practice, this convenient environment enhances evolution steps at the model level while the corresponding instance is automatically co-evolved. Finally, we have designed and conducted an empirical study with human users in order to assess our technique in production environments. The results of this study are promising and suggest that productivity gains are realizable under our model-driven spreadsheet development setting.

2015

GreenDroid: A Tool for Analysing Power Consumption in the Android Ecosystem

Autores
Couto, M; Cunha, J; Fernandes, JP; Pereira, R; Saraiva, J;

Publicação
2015 IEEE 13th International Scientific Conference on Informatics

Abstract
This paper presents GreenDroid, a tool for monitoring and analyzing power consumption for the Android ecosystem. This tool instruments the source code of a giving Android application and is able to estimate the power consumed when running it. Moreover, it uses advanced classification algorithms to detect abnormal power consumption and to relate them to fragments in the source code. A set of graphical results are produced that help software developers to identify abnormal power consumption in their source code.

2015

Design and Implementation of Queries for Model-Driven Spreadsheets

Autores
Cunha, J; Fernandes, JP; Mendes, J; Pereira, R; Saraiva, J;

Publicação
CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013

Abstract
This paper presents a domain-specific querying language for model-driven spreadsheets. We briefly show the design of the language and present in detail its implementation, from the denormalization of data and translation of our user-friendly query language to a more efficient query, to the execution of the query using Google. To validate our work, we executed an empirical study, comparing QuerySheet with an alternative spreadsheet querying tool, which produced positive results.

2015

Querying Spreadsheets: An Empirical Study

Autores
Cunha, J; Fernandes, JP; Pereira, R; Saraiva, J;

Publicação
CoRR

Abstract

2015

Spreadsheet Engineering

Autores
Cunha, J; Fernandes, JP; Mendes, J; Saraiva, J;

Publicação
CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013

Abstract
These tutorial notes present a methodology for spreadsheet engineering. First, we present data mining and database techniques to reason about spreadsheet data. These techniques are used to compute relationships between spreadsheet elements (cells/columns/rows), which are later used to infer a model defining the business logic of the spreadsheet. Such a model of a spreadsheet data is a visual domain specific language that we embed in a well-known spreadsheet system. The embedded model is the building block to define techniques for model-driven spreadsheet development, where advanced techniques are used to guarantee the model-instance synchronization. In this model-driven environment, any user data update has to follow the model-instance conformance relation, thus, guiding spreadsheet users to introduce correct data. Data refinement techniques are used to synchronize models and instances after users update/evolve the model. These notes briefly describe our model-driven spreadsheet environment, the MDSheet environment, that implements the presented methodology. To evaluate both proposed techniques and the MDSheet tool, we have conducted, in laboratory sessions, an empirical study with the summer school participants. The results of this study are presented in these notes.

  • 137
  • 261