{"id":490,"date":"2024-12-16T10:16:31","date_gmt":"2024-12-16T13:16:31","guid":{"rendered":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/?p=490"},"modified":"2024-12-16T10:16:31","modified_gmt":"2024-12-16T13:16:31","slug":"aporte-a-la-confiabilidad-de-programas-c-mediante-una-herramienta-ad-hoc-para-implementar-contratos","status":"publish","type":"post","link":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/2024\/12\/16\/aporte-a-la-confiabilidad-de-programas-c-mediante-una-herramienta-ad-hoc-para-implementar-contratos\/","title":{"rendered":"Aporte a la confiabilidad de programas C++ mediante una herramienta ad-hoc para implementar contratos"},"content":{"rendered":"\n<h4 class=\"wp-block-heading has-ast-global-color-8-color has-text-color has-link-color wp-elements-c691047b9104e143d44f18bdb00e2c2e\">Abstract<\/h4>\n\n\n\n<p>El dise\u00f1o por contrato es una metodolog\u00eda en ingenier\u00eda de software propuesta por Bertrand Meyer para mejorar la calidad de la construcci\u00f3n de software. A pesar de ser una metodolog\u00eda ampliamente reconocida, se observa que su puesta en pr\u00e1ctica no tiene el mismo nivel de aplicaci\u00f3n. Con el objetivo de aportar a mejorar la confiabilidad del software desarrollado en C++, en este trabajo se presenta el desarrollo y an\u00e1lisis de una biblioteca para aplicar contratos en dicho lenguaje. La herramienta no depende de extensiones por fuera del est\u00e1ndar de C++, presenta una sintaxis clara, una implementaci\u00f3n eficiente y provee una integraci\u00f3n con el mecanismo de manejo de excepciones. Est\u00e1 disponible para que equipos de desarrollo que buscan mejorar la confiabilidad de sus desarrollos incorporando dise\u00f1o por contratos. Palabras Clave: Contratos \u00b7 C++ \u00b7 Calidad del Software \u00b7 Ingenier\u00eda de Software<\/p>\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/www.researchgate.net\/publication\/384442180_Aporte_a_la_confiabilidad_de_programas_C_mediante_una_herramienta_ad-hoc_para_implementar_contratos\">Ver Publicaci\u00f3n<\/a><\/div>\n<\/div>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Abstract El dise\u00f1o por contrato es una metodolog\u00eda en ingenier\u00eda de software propuesta por Bertrand Meyer para mejorar la calidad de la construcci\u00f3n de software. A pesar de ser una metodolog\u00eda ampliamente reconocida, se observa que su puesta en pr\u00e1ctica no tiene el mismo nivel de aplicaci\u00f3n. Con el objetivo de aportar a mejorar la [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"set","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[7],"tags":[],"class_list":["post-490","post","type-post","status-publish","format-standard","hentry","category-publicaciones"],"_links":{"self":[{"href":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/wp-json\/wp\/v2\/posts\/490","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/wp-json\/wp\/v2\/comments?post=490"}],"version-history":[{"count":1,"href":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/wp-json\/wp\/v2\/posts\/490\/revisions"}],"predecessor-version":[{"id":491,"href":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/wp-json\/wp\/v2\/posts\/490\/revisions\/491"}],"wp:attachment":[{"href":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/wp-json\/wp\/v2\/media?parent=490"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/wp-json\/wp\/v2\/categories?post=490"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ingenieria.uner.edu.ar\/nucleos\/informatica_aplicada\/index.php\/wp-json\/wp\/v2\/tags?post=490"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}