Ingeniería de software
El término ingeniería del "software" apareció por primera vez a finales de la década de 1950. La ingeniería de software fue estimulada por la crisis del "software" de las décadas de entre 1960 y 1980. La ingeniería del "software" viene a ayudar a identificar y corregir mediante principios y metodologías los procesos de desarrollo y mantenimiento de sistemas de "software".
Verificación de software
La verificación de software es una disciplina de la ingeniería de software cuyo objetivo es asegurar que el software satisface por completo todos los requisitos esperados.