Estadísticas del PDF: Métodos Formales Orientados a Objetos

Métodos Formales Orientados a Objetos



Francisco José Galán Morillo
José Miguel Cañete Valdeón

Dept. Lenguajes y Sistemas

Informáticos

ETSI Informática

Av. Reina Mercedes s/n, 41012 Sevilla

954552773

[email protected]



ÍNDICE


1. Introducción.
2. Definición de Método Formal Orientado a Objetos.
3. Descomposición en temas.
4. Justificación.
5. Matriz temas-referencias.
6. Lecturas recomendadas.
Apéndice A-Lista de otras lecturas recomendadas.



1. INTROD...