Cleanroom Software Engineering es un método para construir software diseñado para evitar defectos por medio del uso de métodos formales de desarrollo, así como un proceso de inspección riguroso. En esta sesión platicaremos sobre sus beneficios y cómo puede integrarse con paradigmas actuales de análisis, diseño y programación. Veremos también un ejemplo práctico de su aplicación en un proyecto