Embedded system design is crucial for the development of industry, technology, and
science, and it is an area that has significantly grown in recent years throughout Latin …

This article describes how software quality engineering is an inevitable activity, which must
be accomplished during software development process in order to avoid software failures …

En la actualidad el dominio de las tecnologías es un factor importante para la economía
globalizada, comercio electrónico, gobierno y la ciencia. Es por ello que la gran …

An adaptive system modifies its behaviour in response to changes in its environment or in
the system itself. For the system to be able to perform adaptation, the system engineer must …

Abstract In Software Engineering practice, it is a challenge to develop quality software. In
this way, several proposals have emerged, such as verification and validation process …

Competitions related to software verification, which systematically compare state-of-art
software verification systems, have further contributed to the development of software …

La verificación de sistemas de software (VSS) es un proceso fundamental que permite
evaluar si los requisitos que se establecen son correctos, construyendo así software con …

Numerous commercial electronic devices such as computers and mobile phones are
composed of embedded systems. In general, these systems present complex functionalities …