@conference {353, title = {Metodolog{\'\i}a para ense{\~n}ar a asegurar la calidad del software a trav{\'e}s de t{\'e}cnicas de verificaci{\'o}n y validaci{\'o}n}, booktitle = {Latin American Congress on requirements engineering \& software testing LACREST Medell{\'\i}n}, year = {2012}, month = {07/2012}, address = {Colombia}, abstract = {

The main objective of this article is to describe the experience of teaching the students of Software Engineering of the Bachelor Program in Informatics of the University of Costa Rica, to apply validation and verification software tests. The purpose is to extend the software quality assurance culture, facilitating and stimulating the use of worldwide methodologies in their future development as professionals; in order to support the national companies to improve their competitivity in international markets. Specifically, it describes the procedure in the execution of these tests, forms used, the software tools and the team members of the process. The points described in this article can be of interest for teachers and instructors who wish to develop software engineers in the area of software quality.

}, keywords = {Aseguramiento de Calidad del Software, Ense{\~n}anza de, Est{\'a}ndares, Ingenier{\'\i}a de Software., Pruebas, Revisi{\'o}n T{\'e}cnica Formal, Validaci{\'o}n, Verificaci{\'o}n}, isbn = {978-958-46-0577-1}, author = {Salazar, Gabriela} }