{"id":72969,"date":"2018-03-09T23:17:51","date_gmt":"2018-03-09T23:17:51","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/rule-based-software-verification-and-correction\/"},"modified":"2018-03-09T23:17:51","modified_gmt":"2018-03-09T23:17:51","slug":"rule-based-software-verification-and-correction","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/rule-based-software-verification-and-correction\/","title":{"rendered":"Rule-based software verification and correction"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Demis Ballis <\/strong><\/h2>\n<p>La creciente complejidad de los sistemas software ha conducido al desarrollo de metodolog\u00edas formales para la verificaci\u00f3n y la correcci\u00f3n de datos y programas.  generalmente, establecer si un programa se comporta seg\u00fan las intenciones originales del programador o controlar la consistencia y la correcci\u00f3n de grandes conjuntos de datos no son tareas triviales, como atestiguan los numerosos casos de estudio que encontramos en la bibliograf\u00eda.  en esta tesis, abordamos dos problemas abiertos de verificaci\u00f3n y correcci\u00f3n. en concreto, la verificaci\u00f3n y correcci\u00f3n de programas declarativos y la verificaci\u00f3n y correcci\u00f3n de sitios web (es decir, conjuntos de datos semiestructurados).  en primer lugar, se ha definido un esquema general para la correcci\u00f3n autom\u00e1tica de programas declarativos basados en reglas, que explota una combinaci\u00f3n de t\u00e9cnicas de aprendizaje inductivo top-down y bottom-up.  nuestra metodolog\u00eda h\u00edbrida es capaz de inferior correcciones que son arduas, o incluso imposibles, de conseguir con un sistema m\u00e1s simple de aprendizaje autom\u00e1tico puramente top-down o bottom-up.  adem\u00e1s se ha particularizado el esquema general a dos paradigmas de programaci\u00f3n declarativa bien conocidos: el paradigma l\u00f3gico funcional y el paradigma funcional.  en segundo lugar, se ha formalizado un marco para la verificaci\u00f3n auton\u00f3mica de sitios web, que se puede usar para especificar condiciones de integridad sobre ellos, y luego comprobar autom\u00e1ticamente si estas condiciones se satisfacen.  por un lado, hemos definido un lenguaje de especificaci\u00f3n basado en reglas, que permiten definir propiedades tanto sint\u00e1cticas como sem\u00e1nticas de un sitio web.  por otro lado se ha formalizado una t\u00e9cnica de verificaci\u00f3n que detecta patrones incorrectos\/prohibidos y carencia de informaci\u00f3n, es decir p\u00e1ginas web incompletas o ausentes.  durante el proceso de verificaci\u00f3n, se recoge informaci\u00f3n \u00fatil, que puede ser usada<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Rule-based software verification and correction<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Rule-based software verification and correction <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Demis Ballis <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 28\/02\/2005<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Mar\u00eda Alpuente Frasnedo<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: furio Honsell <\/li>\n<li>luca Chittaro (vocal)<\/li>\n<li>Andrea Schaerf (vocal)<\/li>\n<li>  (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Demis Ballis La creciente complejidad de los sistemas software ha conducido al desarrollo de metodolog\u00edas formales para [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","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":"default","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":[1890,4149,6474,126,16820,15624,6473],"tags":[158533,158531,68705,158532,6479],"class_list":["post-72969","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-lenguajes-de-programacion","category-matematicas","category-politecnica-de-valencia","category-software","category-teoria-de-la-programacion","tag-andrea-schaerf","tag-demis-ballis","tag-furio-honsell","tag-luca-chittaro","tag-maria-alpuente-frasnedo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/72969","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=72969"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/72969\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=72969"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=72969"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=72969"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}