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

2010

Sensing the schoolyard: Using senses and sensors to assess georeferenced environmental dimensions

Autores
Silva, MJ; Lopes, JC; Da Silva, PM; Marcelino, MJ;

Publicação
ACM International Conference Proceeding Series

Abstract
This paper presents the Usense2learn platform, a platform designed and implemented to enable children and teachers to use georeferenced multisensory information together with information acquired by sensors. Usense2learn places the creation of content in the hands of children. While using Usense2learn, mobile sensors can be held across the exploration area and provide georeferenced environmental information such as air temperature and humidity. Using multimedia (video, image, sound and text) teachers and children can bring the outside world into their classroom and share it with other classrooms across the globe. Having the limited schools' budgets in mind, content creation can be made anywhere without communication costs. Internet connection is only required, together with Google Earth, for visualization. The Usense2learn platform was successfully used in a curricular context, engaging children and teachers in meaningful environmental education activities. © 2010 ACM.

2010

Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010: Message from the Organizing Chairs

Autores
Faria, JP; Paiva, A;

Publicação
Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010

Abstract

2010

A Gap Analysis Methodology for the Team Software Process

Autores
Gonzalez Amaral, LMG; Faria, JP;

Publicação
QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY

Abstract
Over the years software quality is becoming more and more important in software engineering. Like in other engineering disciplines where quality is already a commodity, software engineering is moving into these stages. The Team Software Process (TSP) was created by the Software Engineering Institute (SEI) with the main objective of helping software engineers and teams to ensure high-quality software products and improve process management in the organization. This paper presents a methodology for assessing an organization against the TSP practices so that it is possible to assess the future gains and needs an organization will have during and after the implementation of TSP. The gap analysis methodology has two pillars in terms of data collection: interviews and documentation analysis. Questionnaires have been developed to guide the assessment team on the task of conducting interviews and further guidance has been developed in what and where to look for information in an organization. A model for the rating has also been developed based on the knowledge and experience of working in several organizations on software quality. A report template was also created for documenting the analysis conclusions. The methodology developed was successfully applied in one well known Portuguese organization with the support and validation of SEI, and several refinements were introduced based on the lessons learnt. It is based on the most know reference models and standards for software process assessment - Capability Maturity Model Integration (CMMI) and ISO/IEC 15504. The objective of this methodology is to be fast and inexpensive when compared with those models and standards or with the SEI TSP assessment pilot.

2010

Test Coverage Analysis of UML Activity Diagrams for Interactive Systems

Autores
Ferreira, RDF; Faria, JP; Paiva, ACR;

Publicação
QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY

Abstract
User interface testing is a very important but time consuming activity. To automate and systematize the testing process, models can be used to derive test cases automatically - a technique known as model-based testing. Given a model representing the intended system behavior and a test suite derived from the model or produced manually, the coverage of the test suite over the model is an important early indicator of the quality and completeness of the test suite. This paper presents a novel tool that shows visually the coverage achieved by a test suite over an UML model of an interactive system. This model is based on activity and class diagrams, with special user interface modeling features (stereotypes and keywords) inspired in ConcurTaskTrees and Canonical Abstract Prototypes. The tool receives a UML model file and a test suite, determines the model coverage by simulating the execution of the test suite over the model, and produces a colored UML model showing the elements covered. An example is presented to illustrate the approach.

2010

Test coverage analysis of UML state machines

Autores
Ferreira, RDF; Paiva, ACR; Faria, JP;

Publicação
ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops

Abstract
Software testing is a very important activity of the software development process. To expedite the testing process and improve the quality of the tests, models are increasingly used as a basis to derive test cases automatically - a technique known as model-based testing (MBT). Given a system model and a test suite derived automatically from the model or created by other process, the coverage of the model achieved by the test suite is important to assess the quality and completeness of the test suite early in the software development process. This paper presents a novel tool that shows visually the coverage achieved by a test suite on a UML state machine model. The tool receives as input a UML state machine model represented in XMI and a test suite represented in a XML format, and produces a colored UML state machine model that shows the coverage result. Model test coverage is determined by simulating the execution of the test suite over the model. An example is presented in order to show the features of the tool. © 2010 IEEE.

2010

A Metamodel-Based Approach for Automatic User Interface Generation

Autores
Rosado da Cruz, AMR; Faria, JP;

Publicação
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I

Abstract
One of the advantages of following a MDA-based approach in the development of interactive applications is the possibility of generating multiple platform-specific user interfaces (UI) from the same platform independent UI model. However, the effort required to create the UI model may be significant. In the case of data-intensive applications, a large part of the UI structure and functionality is closely related with the structure and functionality of the domain entities described in the domain model, and the access rules specified in the use case model. This paper presents an approach to reduce the effort required to create platform independent UI models for data intensive applications, by automatically generating an initial UI model from domain and use case models. For that purpose, UML-aligned metamodels for domain and use case models are defined, together with a MOF-based metamodel for user interface models. The transformation rules that drive the UI model generation are introduced. It is also proposed a MDA-based process for the development of data intensive interactive applications based on the proposed model architecture and transformations.

  • 570
  • 662