2.15.10 SE/Métodos Formales

Los tópicos listed a continuación tienen una fuerte dependencia con el material del Área de Conocimiento de Estructuras Discretas (DS).
Temas:
Electivo

Objetivos de Aprendizaje:
Elective:

  1. Describir la especificación formal del rol y técnicas de análisis que pueden jugar en el desarrollo de software complejo y comparar su uso como técnicas de validación y verificación con pruebas [Familiarizarse]
  2. Aplicar especificación formal y técnicas de análisis para diseños de software y programas con baja complejidad [Usar]
  3. Explicar los beneficios potenciales y desventajas de usar lenguajes de especificación formal [Familiarizarse]
  4. Crear y evaluar validaciones de programa para una variedad de comportamientos que van desde lo simple hasta lo complejo [Usar]
  5. Usando un lenguaje de especificación formal, formular la especificación de un sistema de software simple y derivar ejemplos de casos de prueba a partir de la especificación [Usar]

Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, basado en el modelo de la Computing Curricula de IEEE-CS/ACM