UNGS

Búsqueda:
Buscar en:


Especificación de software


 

Cursada sugerida

Segundo cuatrimestre del tercer año, en paralelo con el curso “Laboratorio de construcción de software”.

 

Objetivos

Conocer y aplicar formalismos de especificación de software mediano a grande.

 

Correlatividades

Para cursar y aprobar el curso es necesario tener aprobado el curso “Lógica y teoría de números”.

 

Contenidos mínimos

 

Carga horaria

Una clase teórica semanal y una clase práctica semanal, una clase es de 4 horas y la otra es de 2 horas cada una durante 16 semanas, totalizando 96 horas de clase.

 

Régimen de aprobación

Para aprobar el curso, se deben aprobar un trabajo práctico y un examen final, o sus respectivos recuperatorios. El trabajo práctico consta de la especificación de un sistema de software mediano.