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 João Alexandre Saraiva

2013

Complexity Metrics for ClassSheet Models

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

Publicação
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II

Abstract
This paper proposes a set of metrics for the assessment of the complexity of models defining the business logic of spreadsheets. This set can be considered the first step in the direction of building a quality standard for spreadsheet models, that is still to be defined. The computation of concrete metric values has further been integrated under a well-established model-driven spreadsheet development environment, providing a framework for the analysis of spreadsheet models under spreadsheets themselves.

2014

Detecting Anomalous Energy Consumption in Android Applications

Autores
Couto, M; Carcao, T; Cunha, J; Fernandes, JP; Saraiva, J;

Publicação
PROGRAMMING LANGUAGES, SBLP 2014

Abstract
The use of powerful mobile devices, like smartphones, tablets and laptops, is changing the way programmers develop software. While in the past the primary goal to optimize software was the run time optimization, nowadays there is a growing awareness of the need to reduce energy consumption. This paper presents a technique and a tool to detect anomalous energy consumption in Android applications, and to relate it directly with the source code of the application. We propose a dynamically calibrated model for energy consumption for the Android ecosystem that supports different devices. The model is used as an API to monitor the application execution: first, we instrument the application source code so that we can relate energy consumption to the application source code; second, we use a statistical approach, based on fault-localization techniques, to localize abnormal energy consumption in the source code.

2013

A Framework for Modular and Customizable Software Analysis

Autores
Martins, P; Carvalho, N; Fernandes, JP; Almeida, JJ; Saraiva, J;

Publicação
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II

Abstract
This paper presents a framework for the analysis of software artifacts. We revise and propose techniques that aid in the manipulation and combination of target-language specific tools, and in handling and controlling the results of such tools. We also propose to integrate under our framework techniques that are capable of performing language independent analyses. The final result of our work is an analysis environment that is modular and flexible and that allows easy and elegant implementations of complex analysis suites. We finally conduct a proof of concept for our framework by analyzing a well-known, widely used open-source software package.

2014

Embedding Model-Driven Spreadsheet Queries in Spreadsheet Systems

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

Publicação
2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014)

Abstract
Spreadsheets are widely used not only to define mathematical expressions, but also to store large and complex data. To query such data is usually a difficult task to perform, usually for end user. In this work we embed the textual query language in the model-driven spreadsheet environment as a spreadsheet itself. The result is an expressive and powerful query environment that has knowledge of the business logic defined by the spreadsheet data (the spreadsheet model) to guide end users constructing correct queries.

2014

ES-SQL: Visually Querying Spreadsheets

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

Publicação
2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014)

Abstract
This paper presents ES-SQL, an embedded tool for visually constructing queries over spreadsheets. This tool provides an expressive query environment which has knowledge on the business logic of spreadsheets, and by this knowledge it assists the user in defining the intended queries.

2014

FaultySheet Detective: When Smells Meet Fault Localization

Autores
Abreu, R; Cunha, J; Fernandes, JP; Martins, P; Perez, A; Saraiva, J;

Publicação
2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME)

Abstract
This paper presents a tool, dubbed FaultySheet Detective, for aiding in spreadsheet fault localization, which combines the detection of bad smells with a generic spectrum-based fault localization algorithm.

  • 2
  • 28