Software orientado a aspecto

Por lo que entiendo el DSOA nos brinda una serie de tcnicas para identificar, modularidad o simplemente organizar intereses que pueden ser de un sistema o alguna otra aplicacin. El DSOA es una mescla del modelo evolutivo y el concurrente, es evolutivo ya que al momento de finalizar con la localizacin de los intereses se pasa a lo que es la construccin del software, y es concurrente porque la ingeniera de cada inters se desarrolla independientemente del resto de los otros componentes de software. La principal caracterstica del DSOA en mi criterio es la separacin del problema en pequeos intereses o aspectos, con el fin de reducir la complejidad del mismo y as evitar errores de comprensin al momento de pasar a la construccin del software. Esto tiene que ver con lo que es la modularizacin que simplemente es dividir el problema en mdulos. Lo que busca el DSOA con esto de la modularizacin es simplemente organizar los diferentes intereses o tambin llamados (concern). Todos los aspectos del DSOA van encaminados a un mismo fin, que es facilitar la identificacin de mdulos de un problema. El resultado que se espera lograr con todo esto es un software funcional que sea fcil de modificar, adaptable y sobretodo que sea reutilizable.

MODELO DE MTODOS FORMALES

*Agrupan actividades *Permite verficar un sistema *Genera software libre de defectos *usa: teoria de los conjuntos y notacion

Los metodos formales se basan en las matematicas para desarrollar y verificar un determinado sistema.

INVARIANTE DE DATOS

ESTADO

OPERACIN

posee una coleccion de datos

el estado de un sistema se representa por los datos almacenados

Precondicion

Posctondicion

valida una operacion particular.

se garantiza que es verdadero hasta completar una operacion