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 HumanISE

2005

WikiWiki weaving heterogeneous software artifacts

Autores
Aguiar, A; David, G;

Publicação
Proceedings of the 2005 International Symposium on Wikis, 2005, San Diego, California, USA, October 16-18, 2005

Abstract
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools and methods. The documentation of a software system uses different artifacts, namely source code, for low-level internal documentation, and specific-purpose models and documents, for higher-level external documentation (e.g. requirements documents, use-case specifications, design notebooks, and reference manuals). All these artifacts require continual review and modification throughout the life-cycle to preserve their consistency and value. Good software documents are often heterogeneous, i.e., they combine different kinds of contents (text, code, models, images) gathered from separate software artifacts, a combination usually difficult to maintain as the system evolves over time, considering that source code, models and documents are typically produced and maintained separately in multiple sources using different environments and editors. This paper presents a wiki that helps on quickly weaving different kinds of contents into a single heterogeneous document, whilst preserving its semantic consistency. The fundamental goal of this wiki (XSDoc Wiki) is to reduce the development-documentation gap by making documentation more convenient and attractive to developers. An example taken from the JUnit framework documentation helps to illustrate the features more relevant to do such weaving. Copyright 2005 ACM.

2005

Modeling and Testing Hierarchical GUIs

Autores
Paiva, ACR; Tillmann, N; Faria, JCP; Vidal, RFAM;

Publicação
Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France

Abstract

2005

A model-to-implementation mapping tool for automated model-based GUI testing

Autores
Paiva, ACR; Faria, JCP; Tillmann, N; Vidal, RAM;

Publicação
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS

Abstract
This paper presents extensions to Spec Explorer to automate the testing of software applications through their GUIs based on a formal specification in Spec. Spec Explorer, a tool developed at Microsoft Research, already supports automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a Net assembly. The tool described in this paper extends Spec Explorer to automate GUI testing: it adds the capability to gather information about the physical CUI objects that are the target of the user actions described in the model; and it automatically generates a Net assembly with methods that simulate those actions upon the GUI application under test. The GUI modelling and the overall test process supported by these tools are described. The approach is illustrated with the Notepad application.

2005

Reverse Engineering of Framework Design using a Meta-Patterns-based Approach

Autores
Flores, N; Aguiar, A;

Publicação
3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005

Abstract
Object-oriented frameworks are a powerfitl reuse technique but they are also very complex and difficult to design. Framework's design aims at separating the invariant aspects across several applications in a domain - frozen spots - from the aspects that vary among applications and thus must be kept flexible and customizable - hot spots. The flexibility and extensibility provided at hot spots is usually achieved by following common design patterns, which are often hard and tiresome to identify without proper documentation. This paper proposes a reverse engineering approach to identify the design patterns used in a framework, using a high-level hot spot representation. The goals of this work include: researching a design approach that produces usable intermediate reuse information; defining a representation for design patterns based on meta-patterns; and developing a supporting tool to automate the reverse engineering process.

2005

Selective rendering quality for an efficient navigational aid in virtual urban environments on mobile platforms

Autores
Bessa, M; Coelho, A; Chalmers, A;

Publicação
Proceedings of the 4th International Conference on Mobile and Ubiquitous Multimedia, MUM 2005, Christchurch, New Zealand, December 8-10, 2005

Abstract
The perception that we have of our world depends on the task we are currently performing in the environment, so if we are driving a car we will pay attention to the objects that are visually important to the task we are performing such as, the road, road signs, other vehicles, etc. The same is true when we explore virtual environments. The creation of high-fidelity 3D maps on mobile devices to aid navigation in urban environments is computationally very expensive, precluding achieving this quality at interactive rates. In this paper we present a case study to show how the human visual system may be exploited, when viewers are undertaking a task, to reduce the overall quality of the displayed image, without the users being aware of this reduction in quality. The displayed images are selectively rendered with the key features used to identify location and orientation in a 3D urban environment produced in high quality and the remainder of the image in low quality.

2005

Interoperable geographic information services to support crisis management

Autores
Rocha, A; Cestnik, B; Oliveira, MA;

Publicação
WEB AND WIRELESS GEOGRAPHICAL INFORMATION SYSTEMS, PROCEEDINGS

Abstract
In this article we focus on interoperable geographic information (GI) services from the crisis management perspective. Based on Open Geospatial Consortium [10] standards and initiatives, we present the building blocks of the interoperable solution for supporting crisis management that is proposed as a result of the EU sponsored project, MEDSI [1]. In particular, we focus on the application and operationalization of several OGC standards, some adopted and some still under discussion, such as WMS, WFS, WMC, SLD and SMS, as well as their integration and cooperation within a single software framework.

  • 618
  • 641