Ricardo Theis Geraldi

Software inspection is a rigorous special type of software review among the several verification and validation activities. It has a well-defined process that conducted all life cycle artifacts for different domains. The inspection’s main objective is to detect and reduce the number of defects aiming to guarantee and control a specific SPL’s qualit...

A Software Product Line (SPL) represents a set of systems sharing common and variable features. The varying features and respective elements (variability) enable differentiating products of a certain domain. Thus, managing variability is a crucial activity for the success of SPL engineering, especially those based on UML due to a large amount of va...

Context Internet of Things (IoT) is a promising paradigm due to the growing number of devices that may be connected, defined as “things”. Managing these “things” is still considered a challenge. One way to overcome this challenge may be by adopting the software product line (SPL) paradigm and the variability management (VM) activity. SPL engineerin...

Customizing and reusing software processes is a common practice for addressing the diversity of software projects. This fact expanded the number of Software Process Lines (SPrL) researches based on concepts derived from the Software Product Line approach. However, SPrL is still incipient with regard to existing literature providing de facto empiric...

Software Product Line (LPS) is a paradigm that reuses software artifacts throughout a set of systems that have common and variable characteristics. To guarantee the quality of an SPL and, consequently, of its generated products, it is necessary to use verification and validation activities, such as software inspections. Thus, it is possible to dete...

Software inspection has been used to guarantee and control the quality of products by detecting defects, which can be spread out throughout the entire software life cycle. Therefore, the main premise is to identify and reduce the number of defect types in software artifacts during inspections. This work focuses on providing an up to dated overview...

Software Product Line (SPL) is a promising approach for specific domain software artifacts reuse. In order to ensure SPL quality it is essential to perform activities for verification and validation. In this scenario, one applies software revision to the quality control process in order to ensure the quality of a software engineering process in eac...

Software inspection is a particular type of software review applied to all life-cycle artifacts and follows a rigorous and well-defined defect detection process. Existing literature defines several inspection techniques for different domains. However, they are not for inspecting product-line UML variability models. This paper proposes SMartyCheck,...