{"id":65093,"date":"2008-10-06T00:00:00","date_gmt":"2008-10-06T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/una-teoria-para-el-desarrollo-software-construida-mediante-tecnicas-y-modelos-de-gestion-del-conocimiento\/"},"modified":"2008-10-06T00:00:00","modified_gmt":"2008-10-06T00:00:00","slug":"una-teoria-para-el-desarrollo-software-construida-mediante-tecnicas-y-modelos-de-gestion-del-conocimiento","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencia-de-los-ordenadores\/una-teoria-para-el-desarrollo-software-construida-mediante-tecnicas-y-modelos-de-gestion-del-conocimiento\/","title":{"rendered":"Una teor\u00eda para el desarrollo software construida mediante t\u00e9cnicas y modelos de gesti\u00f3n del conocimiento"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Mar\u00eda  Aurora Mart\u00ednez Rey <\/strong><\/h2>\n<p>En esta tesis se muestra y demuestra, c\u00f3mo la ecuaci\u00f3n fundamental del conocimiento, aplicada al propio conocimiento, mejora \u00e9ste. Naturalmente, \u00e9sta es la forma de trabajar de los cient\u00edficos en sus investigaciones, pero aqu\u00ed se trata de probar que, usando t\u00e9cnicas de gesti\u00f3n del conocimiento, cualquier especialista en una materia puede sacar provecho de dicha ecuaci\u00f3n. en este trabajo, se eligi\u00f3 el dominio del desarrollo del software como marco donde investigar la tesis propuesta. As\u00ed, en primer lugar, se detect\u00f3 que el conocido \u00abgap\u00bb entre el desarrollo del hardware y el del software es b\u00e1sicamente consecuencia de que el primero tiene una verdadera ingenier\u00eda que lo soporta y por lo tanto, una ciencia que lo avala y fundamente; respectivamente, la electr\u00f3nica y la f\u00edsica, en tanto la segunda, es a\u00fan m\u00e1s un arte que una ingenier\u00eda sin teor\u00eda cient\u00edfica que la avale. por ello, la propuesta que se hace es presentar una teor\u00eda que convierta el desarrollo software en una verdadera ingenier\u00eda. Con esto \u00abin mente\u00bb, se han establecido las condiciones formales y materiales de adecuaci\u00f3n de cualquier teor\u00eda. A continuaci\u00f3n, utilizado el teorema de l\u00ed\u00b6wehim-skolem y la generaci\u00f3n de los n\u00fameros ordinales a partir del vac\u00edo, por von neumann, se demuestra la factibilidad de dicha teor\u00eda. Posteriormente, y tomando como dominio la programaci\u00f3n funcional, y m\u00e1s en concreto la \u00abcurryficaci\u00f3n\u00bb, se comprueba la viabilidad de la teor\u00eda. para, finalmente, proponer una teor\u00eda que, cumpliendo los requisitos exigibles a cualquier teor\u00eda, fundamenta el desarrollo software. M\u00e1s a\u00fan, pues la teor\u00eda propuesta es tan amplia y robusta que pude aplicarse a cualquier sistema de informaci\u00f3n incluido el adn y el cerebro. Para contrastarla, se proponen, en todos estos dominios, distintos experimentos cruciales que, supuestamente, son capaces de falsarla. como resultados concretos se han obtenido los siguientes: a)\testablecimiento de los l\u00edmites computacionales en 1050  operaciones por segundo y 1031 bits de memoria, para un \u00abmentefacto\u00bb de 1kg. b)\tque la conjunci\u00f3n del teorema de l\u00ed\u00b6wehim-skolem y la propuesta de generaci\u00f3n de ordinales de von neumann son suficientes para establecer una teor\u00eda para el desarrollo del software. De paso, y como resultado a\u00f1adido, se ve que la expresi\u00f3n de kronecker sobre la creaci\u00f3n de los n\u00fameros enteros hay que modificarla en el siguiente sentido: dios cre\u00f3 el vac\u00edo, el hombre hizo el resto. c)\tla idea de la programaci\u00f3n funcional de frege y sch\u00ed\u00b6finkel que desarroll\u00f3 curry, establece la efectividad de una teor\u00eda axiom\u00e1tica para el desarrollo software. d)\tse propone una teor\u00eda con dos constructos y tres postulados, no s\u00f3lo para el desarrollo software, sino tambi\u00e9n para cualquier sistema de informaci\u00f3n. e)\tfinalmente, y como efecto colateral, se muestra como leibniz plagi\u00f3 al espa\u00f1ol caramuel en la creaci\u00f3n del sistema binario de numeraci\u00f3n.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Una teor\u00eda para el desarrollo software construida mediante t\u00e9cnicas y modelos de gesti\u00f3n del conocimiento<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Una teor\u00eda para el desarrollo software construida mediante t\u00e9cnicas y modelos de gesti\u00f3n del conocimiento <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Mar\u00eda  Aurora Mart\u00ednez Rey <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 A coru\u00f1a<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 10\/06\/2008<\/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 Ares Casal<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan Pazos sierra <\/li>\n<li>bernardino Arcay varela (vocal)<\/li>\n<li>anselmo Del moral bueno (vocal)<\/li>\n<li>alejandro Pazos sierra (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Mar\u00eda Aurora Mart\u00ednez Rey En esta tesis se muestra y demuestra, c\u00f3mo la ecuaci\u00f3n fundamental del conocimiento, [&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":[18576,1890,3748],"tags":[16108,13598,2773,72662,4012,143585],"class_list":["post-65093","post","type-post","status-publish","format-standard","hentry","category-a-coruna","category-ciencia-de-los-ordenadores","category-logica-deductiva","tag-alejandro-pazos-sierra","tag-anselmo-del-moral-bueno","tag-bernardino-arcay-varela","tag-juan-ares-casal","tag-juan-pazos-sierra","tag-maria-aurora-Martinez-rey"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/65093","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=65093"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/65093\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=65093"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=65093"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=65093"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}