{"id":131710,"date":"1996-01-01T00:00:00","date_gmt":"1996-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/modelado-y-soporte-al-proceso-de-desarrollo-software-con-tecnicas-de-descripcion-formal-fdt\/"},"modified":"1996-01-01T00:00:00","modified_gmt":"1996-01-01T00:00:00","slug":"modelado-y-soporte-al-proceso-de-desarrollo-software-con-tecnicas-de-descripcion-formal-fdt","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/modelado-y-soporte-al-proceso-de-desarrollo-software-con-tecnicas-de-descripcion-formal-fdt\/","title":{"rendered":"Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt)."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Yelmo Garcia Juan  Carlos <\/strong><\/h2>\n<p>Esta tesis aborda algunos de los retos impuestos por el despliegue de nuevos servicios avanzados de telecomunicacion desde la perspectiva del modelo de referencia para procesamiento distribuidos y abierto (rm-odp) junto con una serie de arquitecturas de referencia elaboradas a partir de dicho enfoque, como es el caso de la arquitectura para redes de informacion de telecomunicaciones (tina).El enfoque se basa en la aplicacion de los modelos de referencia mencionados sobre la plataforma de objetos distribuidos corba propuesta por omg como implementacion del modelo de ingenieria de odp.  la adaptacion de los modelos mencionados no es directa y en esta tesis se elabora una propuesta para su adaptacion.  a partir de los paradigmas y tecnolog\u00edas software identificados en los capitulos dedicados a las tecnolog\u00edas habilitadoras y el estado del arte, se elabora una propuesta metodologica que combina los modelos de referencia mencionados en el marco de un modelo de ciclo de vida espiral. Este modelo se caracteriza por proponer un enfoque de desarrollo dirigido por riesgos.  en esta tesis se propone el uso de tecnicas de descripcion formal (fdt) como base para la formalizacion del dise\u00f1o arquitectonico, permitiendo asi la validacion operacional de la arquitectura en etapas iniciales y el prototipado basado en la especificacion formal como mecanismos de resolucion de riesgos tecnicos en el desarrollo de este tipo de aplicaciones.  la metodolog\u00eda propuesta pone tambien de manifiesto la necesidad de contar con el soporte de herramientas adecuado. Por tratarse de tecnolog\u00edas heterogeneas en permanente evolucion, se sugiere el uso de un marco de integracion de herramientas que proporcione flexibilidad en todos los aspectos relacionados con la integracion de herramientas en dicho marco de integracion.  el enfoque de integracion de herramientas que se propone en este trabajo se basa en el modelo de referencia para marcos de integracion elabo<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt).<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt). <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Yelmo Garcia Juan  Carlos <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1996<\/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>Gonzalo Le\u00f3n Serrano<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Fernando Saez Vacas <\/li>\n<li>Martin Llamas Nistal (vocal)<\/li>\n<li>Pere Botella L\u00f3pez (vocal)<\/li>\n<li>Jos\u00e9 Mar\u00eda Troya Linero (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Yelmo Garcia Juan Carlos Esta tesis aborda algunos de los retos impuestos por el despliegue de nuevos [&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,126,16008,15624,2489],"tags":[30662,16198,4814,30775,15853,46329],"class_list":["post-131710","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-matematicas","category-politecnica-de-madrid","category-software","category-tecnologia-de-las-telecomunicaciones","tag-fernando-saez-vacas","tag-gonzalo-leon-serrano","tag-jose-maria-troya-linero","tag-martin-llamas-nistal","tag-pere-botella-lopez","tag-yelmo-garcia-juan-carlos"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/131710","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=131710"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/131710\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=131710"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=131710"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=131710"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}