2003
Autores
Bryant, BR; Saraiva, J;
Publicação
Electr. Notes Theor. Comput. Sci.
Abstract
2007
Autores
Da Silva, AR; Saraiva, J; Silva, R; Martins, C;
Publicação
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
Autores
Swierstra, SD; Alcocer, PRA; Saraiva, J;
Publicação
ADVANCED FUNCTIONAL PROGRAMMING
Abstract
1998
Autores
Kuiper, M; Saraiva, J;
Publicação
COMPILER CONSTRUCTION
Abstract
2002
Autores
Saraiva, J;
Publicação
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
Autores
Silva, JC; Campos, JC; Saraiva, J;
Publicação
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.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.