Una de las características más importantes de los sistemas de software es la posibilidad de modificarlos sin
costos aparentes. Sin embargo, modificar un sistema de software de manera que alcance los objetivos
esperados no es fácil ni barato. Uno de los principios aceptados por la comunidad académica de la
Ingeniería de Software, indica que el costo de modificación de un sistema de software está en relación
directa con la calidad y propiedades de su diseño y arquitectura. Por tal motivo en esta asignatura se muestra a
los estudiantes los conceptos, técnicas y herramientas que permiten generar buenos diseños de software. A
su vez, se sabe que no existe una única forma de diseñar software que sea aplicable en todos los casos. Por
lo tanto, el curso tratan diferentes técnicas de diseño y arquitectura de software que le permite a los
estudiantes conocer las mejores técnicas a aplicar en distintas situaciones. Además, se introducen las
nociones básicas de validación y verificación de software, haciendo énfasis en el testing funcional basado en
especificaciones formales. La asignatura incluye la realización de un proyecto de desarrollo usando métodos
formales que se inicia durante el cursado de Ingeniería de Software I. Con este fin los alumnos seleccionan un
requerimiento funcional de baja complejidad, escriben una especificación formal de aquel, traducen la
especificación formal a un lenguaje de implementación de alto nivel y realizan un par de actividades de
verificación. La asignatura se relaciona con todos los cursos dedicados a programación dado que la idea de
diseño de un programa aplica independientemente del lenguaje de programación con el que se trabaje.

Enlaces útiles:

• Sitio web
• Comunidades