Ponencia
Especificación orientada a objetos desde un enfoque algebraico
Autor/es | Troyano Jiménez, José Antonio
Torres Valderrama, Jesús Toro Bonilla, Miguel |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 1994-09 |
Fecha de depósito | 2023-05-18 |
Publicado en |
|
Resumen | 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 ... 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. |
Cita | Troyano Jiménez, J.A., Torres Valderrama, J. y Toro Bonilla, M. (1994). Especificación orientada a objetos desde un enfoque algebraico. En GULP-PRODE´94 (450-451), Peñíscola, España: Universidad Politécnica de Valencia. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Especificación orientada a ... | 1.276Mb | [PDF] | Ver/ | |