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

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
id I19-R120-10915-22786
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Formal methods
Object-oriented Programming
Correctness proofs
spellingShingle Ciencias Informáticas
Formal methods
Object-oriented Programming
Correctness proofs
Cassano, Valentín
Nadales, Damián E.
Hacia la prueba de corrección de clases
topic_facet Ciencias Informáticas
Formal methods
Object-oriented Programming
Correctness proofs
description 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. A partir de esta motivación y basándonos en la idea propuesta por B. Meyer en [Meyer 03a], trabajamos en el desarrollo de una semántica formal para probar, matemáticamente, que clases equipadas con contratos satisfacen los mismos.
format Objeto de conferencia
Objeto de conferencia
author Cassano, Valentín
Nadales, Damián E.
author_facet Cassano, Valentín
Nadales, Damián E.
author_sort Cassano, Valentín
title Hacia la prueba de corrección de clases
title_short Hacia la prueba de corrección de clases
title_full Hacia la prueba de corrección de clases
title_fullStr Hacia la prueba de corrección de clases
title_full_unstemmed Hacia la prueba de corrección de clases
title_sort hacia la prueba de corrección de clases
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/22786
work_keys_str_mv AT cassanovalentin hacialapruebadecorrecciondeclases
AT nadalesdamiane hacialapruebadecorrecciondeclases
bdutipo_str Repositorios
_version_ 1764820467702562816

Ejemplares similares