Publications

Publications by João Alexandre Saraiva

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

2003

Embedding Domain Specific Languages in the Attribute Grammar Formalism

Authors
Saraiva, J; Schneider, S;

Publication
36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA

Abstract
This paper presents techniques for the design and implementation of domain specific languages. Our techniques are based on higher-order attribute grammars. Formal languages are specified in the classical attribute formalism and domain specific languages are embedded in the specification via higher-order attributes. We present a domain specific language for pretty-printing and we show how such language can be easily embedded in the specification of a powerful spreadsheet-like tool. From such specification an incremental implementation is automatically derived and the first results are presented. © 2003 IEEE.

CloseRead Abstract

2003

Preface

Authors
Bryant, B; Saraiva, J;

Publication
Electronic Notes in Theoretical Computer Science

Abstract