Buscar recursos académicos

Quality models for software architecture are taxonomies of quality attributes, commonly used to specify and evaluate nonfunctionalrequirements. Most quality models offer a two-level approach, distinguishing externally ob...

"This article reports the ongoing work on an environment for hardware-in-the-loop (HIL) and software-in-the-loop (SIL) tests of CubeSats and the benefits gained from using such an environment for low-cost satellite devel...

"Various approaches to software analysis (e.g. test input generation, software model checking) require engineers to (manually) identify a subset of a module’s methods in order to drive the analysis. Given a module to b...