Context: Model-based testing (MBT) is one of the most studied approaches by secondary studies in the area of software testing. A tertiary study that aggregates knowledge from secondary studies on MBT can be useful to both ...

La industria de desarrollo de software costarricense se desenvuelve en entornos cambiantes y competitivos. Para enfrentar los continuos desafíos adoptan distintas prácticas ingenieriles que les permitan cumplir las metas ...

There is a need to develop formal protocols to verify the accuracy of software functional size measurements and to calibrate the measurement processes. These protocols offer a mechanism for accomplishing such verification ...

The use of smart devices is increasing rapidly; this trend is changing the paradigm in which notifications are delivered to users. Smart devices are important to provide user awareness. However, their use must be controlled ...

This paper provides an overview of a doctoral research project which focuses in developing a framework to allow smart device-based notifications to provide user awareness. Notifications are mechanisms by which the user’s ...

This article aims to describe actions that contemplate the use of technological resources in mathematics classes in Brazilian basic education. It is presented a case study on a class of the 5th year elementary school from ...

This paper presents the development of a mobile application for Android systems devices, that helps in the control system design task. The application allows to compute the parameters of PID-type controllers. The controlled ...

Cloud Computing has gained importance in recent years. There are many implementations' analyses and evaluations of Cloud Management Platforms (CMPs) in the literature. Moreover, the context and characteristics differ ...

The objective of this work is to study the S809 airfoil profile used in the wind turbine blades of horizontal axis. Wind turbines developed rapidly in technological terms, showing reliability in generating energy from the ...

Context: Software testing is a costly and time-consuming activity. Automated testing of mobile applications is considered complex and difficult. Indeed, several factors such as a variety of inputs (user, context, and ...