Hacia la prueba de corrección de clases

La actividad de desarrollar programas orientados a objetos, los cuales involucran referencias a memoria, pueden introducir errores difíciles de identificar con el uso de un razonamiento operacional. Esto da lugar a la necesidad de contar con un marco teórico para la prueba de corrección de clases....

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cassano, Valentín, Nadales, Damián E.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2006
Materias:
Ciencias Informáticas
Formal methods
Object-oriented Programming
Correctness proofs
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22786
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares