Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by João Alexandre Saraiva

2003

Preface

Authors
Bryant, BR; Saraiva, J;

Publication
Electr. Notes Theor. Comput. Sci.

Abstract

2007

XIS - UML profile for eXtreme modeling interactive systems

Authors
Da Silva, AR; Saraiva, J; Silva, R; Martins, C;

Publication
Proceedings - Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007

Abstract
The first version of the XIS profile addressed the development of interactive systems by defining models oriented only towards how the system should perform tasks. However, issues such as user-interface layouts, or the capture of interaction patterns, were not addressed by the profile, but only by the source-code generation process. This originated systems that, although functional, were considered by end-users as "difficult to use". In this paper we present the second version of the XIS UML profile, which is now a crucial component of the ProjectIT research project. This profile follows the "separation of concerns" principle by proposing an integrated set of views that address the various issues detected with the previous version of XIS. In addition, this profile also promotes the usage of extreme modeling, by relying on the extensive use of model-to-model transformation templates that are defined to accelerate the model development tasks. © 2007 IEEE.

1999

Designing and implementing combinator languages

Authors
Swierstra, SD; Alcocer, PRA; Saraiva, J;

Publication
ADVANCED FUNCTIONAL PROGRAMMING

Abstract

1998

Lrc - A generator for incremental language-oriented tools

Authors
Kuiper, M; Saraiva, J;

Publication
COMPILER CONSTRUCTION

Abstract

2002

Component-based programming for higher-order attribute grammars

Authors
Saraiva, J;

Publication
GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS

Abstract
This paper presents techniques for a component-based style of programming in the context of higher-oder attribute grammars (HAG). Attribute grammar components are "plugged in" into larger attribute grammar systems through higher-order attribute grammars. Higher-order attributes are used as (intermediate) "gluing" data structures. This paper also presents two attribute grammar components that can be re-used across different language-based tool specifications: a visualizer and animator of programs and a graphical user interface AG component. Both components are reused in the definition of a simple language processor. The techniques presented in this paper are implemented in LRC: a purely functional, higher-order attribute grammar-based system that generates language-based tools.

2010

GUI Inspection from Source Code Analysis

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

Publication
ECEASST

Abstract
Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection. © 2010, Universitatsbibliothek TU Berlin.

  • 19
  • 28