Ingeniería de software
La Ingeniería de "Software" es una de las ramas de las ciencias de la computación que estudia la creación de software confiable y de calidad, basándose en métodos y técnicas de ingeniería, y brindando soporte operacional y de mantenimiento. El campo de estudio de la ingeniería de "software" integra ciencias de la computación, ciencias aplicadas y las ciencias básicas en las cuales se encuentra apoyada la ingeniería.
Análisis de software
En ciencias de la computación, análisis de "software" es el proceso automatizado de analizar el sistema para el comportamiento del "software". Existen dos tipos principales de análisis, el análisis estático de "software" y el análisis dinámico de "software". Estas técnicas de análisis intentan encontrar y mejorar en un "software" cuestiones de correctitud, optimización y seguridad.