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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/22786
Ver los metadatos del registro completo
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 |