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

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

Architecture for transparent helpdesk system with multimodal presence

Autores
Morgado, L; Reis, P; Carvalho, Fd; Ribeiro, T; Mestre, P; Serôdio, C;

Publicação
IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2010, 13-15 December 2010, Perth, Australia

Abstract
Companies that are present at multiple online locations may have difficulty staffing them adequately in terms of helpdesk services with efficient use of human resources. In this paper a technological architecture is presented that allows a team of people to staff several online locations simultaneously, providing to customers/users the indication of human presence to attend them. We also present details on a first prototype implementation of this architecture.

2010

Engineering the crystal growth behavior: "On substrate" MOD formation of ZnO hollow spheres

Autores
Tafulo, PAR; Ferro, M; Guerreiro, A; Gonzalez Aguilar, G;

Publicação
APPLIED SURFACE SCIENCE

Abstract
In this paper is described an easy, one-pot synthesis of ZnO hollow spheres with sizes ranging from 300 nm to 500 nm, by spin-coating deposition on aluminum substrate. Simplified models explaining the shape formation based on film-substrate interaction are discussed. The characteristic size and shape of the nanostructures obtained by the described method and the properties of ZnO as a low-cost biocompatible material make this methodology of synthesis interesting for a wide range of applications including optoelectronics, catalysis and (bio)sensors.

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

Cross-Correlation and Sine-Fitting Techniques for High-Resolution Ultrasonic Ranging

Autores
Queiros, R; Alegria, FC; Girao, PS; Serra, AC;

Publicação
IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT

Abstract
This paper presents a combination of two techniques for high-resolution ultrasonic distance measurements in air. The first is the cross correlation between transmitted and received signals to determine the time of flight (TOF), and the second is sine fitting of other transmitted and received signals to determine the phase shift (PS) between them. Sine fitting can estimate the PS with very high accuracy. The result of this synergy is a very accurate distance measurement. For example, the final uncertainty is less than 100 mu m for distances up to 1200 mm.

2010

Entanglement generation in planar Penning traps

Autores
Martins, AM; Guerreiro, A; Mendonca, JT; Vieira, VR;

Publicação
PHYSICAL REVIEW A

Abstract
We investigate the generation of entanglement between the axial degrees of freedom of electrons confined in separated locations in planar Penning traps. We show that there are two different sources of entanglement: one is related with the mechanism of switching on and off the electrical coupling between the two electrons, and the other is due to the two-quanta-transition term of the coupling interaction. We show that the degree of entanglement can be controlled by adjusting the strength of the coupling between the traps and the time of interaction. We show that the coupled electrons behave as a temporal active interferometer.

  • 3752
  • 4498