Inspección de requerimientos para desarrollo de software
Regularmente los analistas suelen especificar los requerimientos de software usando lenguajes naturales o coloquiales; éstos, por su naturaleza, permiten ambigüedades, inconsistencias, contradicciones e infactibilidades que no son fáciles de detectar.