El desarrollo de software moderno requiere prácticas de ingeniería rigurosas para garantizar la calidad, mantenibilidad y confiabilidad. Este curso explora temas avanzados en el ciclo de vida del software, enfocándose en la colaboración en equipo, verificación formal y refactorización avanzada. Los estudiantes dominarán el uso de herramientas profesionales para diseñar, construir y validar sistemas complejos mientras aseguran altos estándares de confiabilidad y corrección formal.