{"id":17495,"date":"2018-03-09T09:05:35","date_gmt":"2018-03-09T09:05:35","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/sistema-de-verificacion-de-componentes-software\/"},"modified":"2018-03-09T09:05:35","modified_gmt":"2018-03-09T09:05:35","slug":"sistema-de-verificacion-de-componentes-software","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/sistema-de-verificacion-de-componentes-software\/","title":{"rendered":"Sistema de verificaci\u00f3n de componentes software"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Cernuda Del R\u00edo Agust\u00edn <\/strong><\/h2>\n<p>Esta tesis se inscribe en el campo de la ingenier\u00eda de software, y describe un sistema de verificaci\u00f3n de componentes software que va m\u00e1s all\u00e1 de la mera compatibilidad de signaturas, proporcionando un marco en el que realizar verificaciones de otros tipos. Apoy\u00e1ndose en la programaci\u00f3n l\u00f3gica con restricciones y la gesti\u00f3n del conocimiento, ofrece un m\u00e9todo viable (desde un punto de vista tanto t\u00e9cnico como de adopci\u00f3n y transferencia tecnol\u00f3gica) para realizar una verificaci\u00f3n que permita asegurar de manera est\u00e1tica, autom\u00e1tica y asequible que, bas\u00e1ndose en el conocimiento disponible, cierta combinaci\u00f3n de componentes no viola las condiciones de funcionamiento correcto de ninguno de ellos. El m\u00e9todo es los suficientemente general como para ser aplicado a muy diversos \u00e1mbitos y problemas del desarrollo de software.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Sistema de verificaci\u00f3n de componentes software<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Sistema de verificaci\u00f3n de componentes software <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Cernuda Del R\u00edo Agust\u00edn <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Oviedo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 17\/06\/2002<\/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>Juan  Manuel Cueva Lovelle<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Antonio Lopez brugos <\/li>\n<li>\u00f3scar Pastor l\u00f3pez (vocal)<\/li>\n<li> Gil larrea m. Jos\u00e9 (vocal)<\/li>\n<li>Luis Joyanes aguilar (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Cernuda Del R\u00edo Agust\u00edn Esta tesis se inscribe en el campo de la ingenier\u00eda de software, y [&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,332,45251,126,8846,2535,6473],"tags":[54744,54745,49578,40863,40865,37680],"class_list":["post-17495","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-fiabilidad-de-los-ordenadores","category-matematicas","category-oviedo","category-tecnologia-de-los-ordenadores","category-teoria-de-la-programacion","tag-cernuda-del-rio-agustin","tag-gil-larrea-m-jose","tag-jose-antonio-lopez-brugos","tag-juan-manuel-cueva-lovelle","tag-luis-joyanes-aguilar","tag-oscar-pastor-lopez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/17495","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=17495"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/17495\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=17495"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=17495"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=17495"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}