Hacia la prueba de corrección de clases

Autores
Cassano, Valentín; Nadales, Damián E.
Año de publicación
2006
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
The activity of object oriented program development, which may involve references variables, is prone to errors which are hard to find by operational reasoning. Hence the need for a theoretical framework for proving class correctness. Given this motivation and based on ideas proposed by B. Meyer in [Meyer 03a] we develop a formal semantics for mathematically proving that contract equipped classes satisfy their specifications.
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Formal methods
Object-oriented Programming
Correctness proofs
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/22786

id SEDICI_2f01eef5ed36882ec8219f6958726e36
oai_identifier_str oai:sedici.unlp.edu.ar:10915/22786
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Hacia la prueba de corrección de clasesCassano, ValentínNadales, Damián E.Ciencias InformáticasFormal methodsObject-oriented ProgrammingCorrectness proofsLa 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.The activity of object oriented program development, which may involve references variables, is prone to errors which are hard to find by operational reasoning. Hence the need for a theoretical framework for proving class correctness. Given this motivation and based on ideas proposed by B. Meyer in [Meyer 03a] we develop a formal semantics for mathematically proving that contract equipped classes satisfy their specifications.Red de Universidades con Carreras en Informática (RedUNCI)2006-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf1717-1728http://sedici.unlp.edu.ar/handle/10915/22786spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:55:11Zoai:sedici.unlp.edu.ar:10915/22786Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:12.183SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Hacia la prueba de corrección de clases
title Hacia la prueba de corrección de clases
spellingShingle Hacia la prueba de corrección de clases
Cassano, Valentín
Ciencias Informáticas
Formal methods
Object-oriented Programming
Correctness proofs
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
dc.creator.none.fl_str_mv Cassano, Valentín
Nadales, Damián E.
author Cassano, Valentín
author_facet Cassano, Valentín
Nadales, Damián E.
author_role author
author2 Nadales, Damián E.
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Formal methods
Object-oriented Programming
Correctness proofs
topic Ciencias Informáticas
Formal methods
Object-oriented Programming
Correctness proofs
dc.description.none.fl_txt_mv 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.
The activity of object oriented program development, which may involve references variables, is prone to errors which are hard to find by operational reasoning. Hence the need for a theoretical framework for proving class correctness. Given this motivation and based on ideas proposed by B. Meyer in [Meyer 03a] we develop a formal semantics for mathematically proving that contract equipped classes satisfy their specifications.
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2006
dc.date.none.fl_str_mv 2006-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/22786
url http://sedici.unlp.edu.ar/handle/10915/22786
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
1717-1728
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615810536964096
score 13.070432