{"id":75112,"date":"2018-03-09T23:20:13","date_gmt":"2018-03-09T23:20:13","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/un-enfoque-basado-en-estandares-para-la-integracion-de-tecnicas-y-herramientas-de-ingenieria-de-protocolos\/"},"modified":"2018-03-09T23:20:13","modified_gmt":"2018-03-09T23:20:13","slug":"un-enfoque-basado-en-estandares-para-la-integracion-de-tecnicas-y-herramientas-de-ingenieria-de-protocolos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/un-enfoque-basado-en-estandares-para-la-integracion-de-tecnicas-y-herramientas-de-ingenieria-de-protocolos\/","title":{"rendered":"Un enfoque basado en est\u00e1ndares para la integraci\u00f3n de t\u00e9cnicas y herramientas de ingenier\u00eda de protocolos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jes\u00fas Martinez Cruz <\/strong><\/h2>\n<p>En este trabajo de tesis se aborda el uso de tecnolog\u00edas xml y mda para la integraci\u00f3n de herramientas de an\u00e1lisis de portocolos.El n\u00facleo de la propuesta la constituye un lenguaje xml para especificar protocolos denominado pixl(protocol interchange with an xml language), que ha permitido la implementaci\u00f3n con relativa facilidad de aplicaciones de verificaci\u00f3n autom\u00e1tica a trav\u00e9s de la comprobaci\u00f3n de modelos abstracta, reutilizando completamente herramientas de model checking y a\u00f1adiendo m\u00f3dulos para abstracci\u00f3n de datos y eventos.El lenguaje y las metodolog\u00edas propuestas son aplicables tambi\u00e9n a la extensi\u00f3n de tipos de an\u00e1lisis.En concreto , los conceptos introducidos se aplican tambi\u00e9n a la posibilidad de integrar an\u00e1lisis de rendimiento de protocolos en el contexto de las redes activas.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Un enfoque basado en est\u00e1ndares para la integraci\u00f3n de t\u00e9cnicas y herramientas de ingenier\u00eda de protocolos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Un enfoque basado en est\u00e1ndares para la integraci\u00f3n de t\u00e9cnicas y herramientas de ingenier\u00eda de protocolos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jes\u00fas Martinez Cruz <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 28\/06\/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>Pedro Merino Gomez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Mar\u00eda Troya linero <\/li>\n<li>Carlos Delgado kloos (vocal)<\/li>\n<li>Juan Quemada vives (vocal)<\/li>\n<li>radu Mateescu (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jes\u00fas Martinez Cruz En este trabajo de tesis se aborda el uso de tecnolog\u00edas xml y mda [&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,6474,7834,126,2489],"tags":[30894,162509,4814,16199,32622,162510],"class_list":["post-75112","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-lenguajes-de-programacion","category-malaga","category-matematicas","category-tecnologia-de-las-telecomunicaciones","tag-carlos-delgado-kloos","tag-jesus-Martinez-cruz","tag-jose-maria-troya-linero","tag-juan-quemada-vives","tag-pedro-merino-gomez","tag-radu-mateescu"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/75112","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=75112"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/75112\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=75112"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=75112"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=75112"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}