Context: In modern systems, like cyber-physical systems, where software and physical
services are interacting, safety, security or performance play an important role. In order to …

Professional skills are often emphasized in a capstone engineering design course,
especially in relation to addressing ABET Engineering Criteria. Learning of these skills is …

Software testing is an ultimate obstacle to the final release of software products. Software
testing is also a leading cost factor in the overall construction of software products. On the …

This paper deals with collective communications on distributed-memory parallel machines.
We are interested in the design of efficient all-to-all broadcast algorithms on square torus of …

Context: Software architecture and software testing have widely contributed to improve the
quality of software systems, but they have been sometimes investigated in separated ways …

The persistent problem with using reusable components is adequate integrations,
compositions, and certifications testing that are related to the factors such as the lack of …

Multicore GPU, Intel MIC, and FPGA supplemental parallel processors have become widely
implemented in High Performance Computing Clusters (HPCCs). In HPCCs, Computing …

Urban sanitation in growing cities of the Global South presents particular challenges, like the
speed of their growth, the high population density, and, often, the lack of existing wastewater …

Most software today is concurrent and are used in everything from cellphones, washing
machines, cars to aircraft control systems. The reliability of the concurrent software may be …

Este relatório técnico visa caracterizar o estado da arte e como as atividades de projeto de
arquitetura de software e teste de software tem sido exploradas de forma complementar no …