Especificación orientada a objetos desde un enfoque algebraico

Description

Este trabajo es un intento de relacionar las, especificaciones algebraicas, de datos y procesos, con el paradigma orientado a objetos, desde el punto de vista de un lenguaje de especificación formal. Mostramos algunas características del lenguaje TESORO y la facilidad que incorpora este leguaje para la descripción del comportamiento de los objetos utilizando distintos estilos de especificación.

Additional details