Publications

Publications by João Alexandre Saraiva

2008

The Objects and Arrows of Computational Design

Authors
Batory, D; Azanza, M; Saraiva, J;

Publication
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS

Abstract
Computational Design (CD) is a paradigm where both program design and program synthesis are computations. CD merges Model Driven Engineering (MDE) which synthesizes programs by transforming models, with Software Product Lines (SPL) where programs are synthesized by composing trans format ions called features. In this paper, basic relationships between MDE and SPL are explored using the language of modern mathematics.

CloseRead Abstract

2010

The GUISurfer Tool: Towards a Language Independent Approach to Reverse Engineering GUI Code

Authors
Silva, JC; Silva, C; Goncalo, R; Saraiva, J; Campos, JC;

Publication
EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS

Abstract
Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

CloseRead Abstract

2007

Combining formal methods and functional strategies regarding the reverse engineering of interactive applications

Authors
Silva, JC; Campos, JC; Saraiva, J;

Publication
Interactive Systems: Design, Specification, and Verification

Abstract
Graphical user interfaces (GUls) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI's legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

CloseRead Abstract

2011

Preface

Authors
Fernandes, JM; Lämmel, R; Saraiva, J; Visser, J;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract

2011

An Empirical Study on End-users Productivity Using Model-based Spreadsheets

Authors
Beckwith, Laura; Cunha, Jacome; Fernandes, JoaoPaulo; Saraiva, Joao;

Publication
CoRR

Abstract

2012

A Web Portal for the Certification of Open Source Software

Authors
Martins, P; Fernandes, JP; Saraiva, J;

Publication
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers

Abstract
This paper presents a web portal for the certification of open source software. The portal aims at helping programmers in the internet age, when there are (too) many open source reusable libraries and tools available. Our portal offers programmers a web-based and easy setting to analyze and certify open source software, which is a crucial step to help programmers choosing among many available alternatives, and to get some guarantees before using one piece of software. The paper presents our first prototype of such web portal. It also describes in detail a domain specific language that allows programmers to describe with a high degree of abstraction specific open source software certifications. The design and implementation of this language is the core of the web portal. © Springer-Verlag Berlin Heidelberg 2014.

CloseRead Abstract