{"id":137716,"date":"2026-01-12T17:07:42","date_gmt":"2026-01-12T17:07:42","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/uso-de-tecnicas-formales-para-el-diseno-de-protocolos-de-comunicaciones\/"},"modified":"2026-01-12T17:07:42","modified_gmt":"2026-01-12T17:07:42","slug":"uso-de-tecnicas-formales-para-el-diseno-de-protocolos-de-comunicaciones","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-tecnologicas\/uso-de-tecnicas-formales-para-el-diseno-de-protocolos-de-comunicaciones\/","title":{"rendered":"Uso de tecnicas formales para el dise\u00f1o de protocolos de comunicaciones"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Tomas Robles Valladares <\/strong><\/h2>\n<p>Los protocolos que se desarrollan para las nuevas redes de comunicaciones son cada vez mas complejos. Debido a esta complejidad se hace cada vez mas dificil garantizar el correcto funcionamiento de las implementaciones.  el uso de tecnicas formales para el dise\u00f1o de los protocolos ha demostrado ser de gran utilidad. Permite aplicar un tratamiento homogeneo a las distintas fases del desarrollo, desde las especificaciones de dise\u00f1o hasta la realizacion final. Permite aplicar un tratamiento formal a los protocolos y facilita su dise\u00f1o e implementacion.  el objetivo de esta tesis es utilizar estas mismas tecnicas formales para mejorar la fase de pruebas. Nos centraremos en la formalizacion de los conceptos de calidad, generacion de casos de prueba y ejecucion de los mismos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Uso de tecnicas formales para el dise\u00f1o de protocolos de comunicaciones<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Uso de tecnicas formales para el dise\u00f1o de protocolos de comunicaciones <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Tomas Robles Valladares <\/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\/1991<\/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> Ma\u00f1as Argemi Jos\u00e9 Antonio<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan Riera Garcia <\/li>\n<li>Miguel Beltran Salvans (vocal)<\/li>\n<li>Juan  Antonio De La Puente Alfaro (vocal)<\/li>\n<li>Francisco J. Garijo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Tomas Robles Valladares Los protocolos que se desarrollan para las nuevas redes de comunicaciones son cada vez [&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":[332,16008,2489],"tags":[252290,11017,110832,16543,252282,45850],"class_list":["post-137716","post","type-post","status-publish","format-standard","hentry","category-ciencias-tecnologicas","category-politecnica-de-madrid","category-tecnologia-de-las-telecomunicaciones","tag-francisco-j-garijo","tag-juan-antonio-de-la-puente-alfaro","tag-juan-riera-garcia","tag-manas-argemi-jose-antonio","tag-miguel-beltran-salvans","tag-tomas-robles-valladares"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/137716","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=137716"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/137716\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=137716"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=137716"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=137716"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}