Dar las bases teóricas y prácticas que permiten al Ingeniero de Software generar herramientas capaces de automatizar las actividades que se realizan durante el proceso de desarrollo del software.

Unidad 1: INGENIERÍA DE SOFTWARE
La crisis del software. Problemas y causas.
Los mitos del software. Mitos del gerente, del cliente y del profesional.
Paradigmas de la ingeniería de software. Ciclo de vida clásico. Prototipación.
Técnicas de cuarta generación. Combinación de paradigmas.

Unidad 2: INGENIERIA DEL SOFTWARE ASISTIDA POR COMPUTADORA
Introducción. Objetivos. Componentes.
Una clasificación.
Integración: I-CASE. Modelos de Integración.
Capacidades. Automatización.

Unidad 3: TÉCNICAS DE INTELIGENCIA ARTIFICIAL APLICADA A CASE
Sistemas Basados en el Conocimiento.
Representación del Conocimiento.
Lógica Clásica. Lógica Proposicional.
Lógica de Primer Orden. Formalización. Demostración.
Redes Semánticas. Marcos. Reglas.
Sistemas Expertos.

Unidad 4: LENGUAJE DE MODELADO UNIFICADO
Estructura Estática. Diagrama de Clase.
Diagrama de Objeto. Atributos y operaciones. Relaciones (Binaria y n-aria).
Clases Parametrizadas. Paquetes.
Caso-Uso. Secuencia. Colaboración.
Diagrama de Transición de Estado. Diagrama de Implementación.

Unidad 5: ESPECIFICACION USANDO OCL
Introducción. Componentes. Self. Invariantes.Propiedades.
Clase Asociación. Colección y sus operaciones.
Bolsa y sus operaciones. Conjunto. Secuencia.
Pre y Post orientada a objeto. Relaciones derivadas.

Unidad 6: MÉTODO SISTEMÁTICO
Microproceso. Ciclo de vida iterativo e incremental.
Identificación de: clases y objetos, la semántica, de las relaciones. Macroproceso. Conceptualización. Análisis. Diseño. Evolución. Mantenimiento.

Unidad 7: ESPECIFICACION FORMAL DE SOFTWARE
Lógica. Caos. Producto. Binding. Definición de Valores.
Especificación Aplicativa, Imperativa y Concurrente.
Modularidad. Esquemas y Objetos. Extensión.
Funciones. Conjuntos. Listas. Mapas.
Definición de tipos. Subtipos. Case. Patterns.
Método. Características. Validación. Verificación.
Desarrollo Separado. Paso a Paso. Diseño.

Unidad 8: INTERPRETACIÓN DE LENGUAJES NATURALES
Análisis de la forma. Sintaxis.
Representación del significado. Semántica.
Problemas de ambigüedades.
Textos y diálogos. GCD. Modelos.

Unidad 9: SISTEMA EXPERTO PARA EL DISEÑO DE BASES DE DATOS
Representación del Conocimiento: Modelo de Datos Conceptual Semántico.
Categorías Semánticas. Vinculaciones primitivas.
Funciones de verificación.

Unidad 10: AMBIENTES DE PROGRAMACIÓN
Ambientes de programación dirigidos por la sintaxis.
Edición. Ejecución. Implementación.
Generación de ambientes de programación basados en Lenguajes.

Prácticos:
1. Técnicas de inteligencia artificial aplicadas a CASE.
2. Modelado con UML.
3. Especificación usando OCL.
4. Especificación formal de software.
5. Intérprete de lenguajes naturales.
6. Sistema Experto para el diseño de Bases de Datos.

Condiciones de regularización:
-Presentación y aprobación del proyecto de práctico de máquina, que consta de la Especificación, diseño e implementación de una herramienta (a elección) que automatice algún aspecto del desarrollo de software.
-Aprobación de un examen parcial teórico-práctico al finalizar el cuatrimestre con nota mayor o igual a 6 (seis).

Condiciones de aprobación:
1. Por promoción, para lo cual el alumno debe contar con las condiciones de regularización y con una nota de examen parcial mayor o igual a 8 (ocho), ó,
2. Por Examen final.

Alumnos Libres:
Por el carácter del trabajo práctico, sólo se aceptarán alumnos libres si han aprobado el mismo durante el curso, y deberán rendir un coloquio previo al examen final.