{"id":8838,"date":"1995-01-01T00:00:00","date_gmt":"1995-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1995\/01\/01\/contribucion-a-la-formalizacion-de-la-fase-de-ejecucion-de-pruebas\/"},"modified":"1995-01-01T00:00:00","modified_gmt":"1995-01-01T00:00:00","slug":"contribucion-a-la-formalizacion-de-la-fase-de-ejecucion-de-pruebas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/contribucion-a-la-formalizacion-de-la-fase-de-ejecucion-de-pruebas\/","title":{"rendered":"Contribucion a la formalizacion de la fase de ejecucion de pruebas."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Huecas Fernandez Toribio Gabriel <\/strong><\/h2>\n<p>En el campo de la ingenieria de protocolos es fundamental el papel que estan tomando las tecnicas de descripcion formal y el concepto de pruebas de conformidad.La presente tesis contempla las siguientes contribuciones:  1) conceptualizacion y formalizacion del proceso de ejecucion de pruebas de conformidad especificadas en el lenguaje formal lotos. 2) definicion de una metica de cobertura que aproveche la existencia de especificaciones formales como elemento de referencia y que sea adecuada a la riqueza semantica del lenguaje lotos. 3) estudio y taxonomia del concepto de puntos de control y observacion, fundamentales en el campo de la ingenieria de pruebas como elemento clave en la ejecucion de las mismas.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Contribucion a la formalizacion de la fase de ejecucion de pruebas.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Contribucion a la formalizacion de la fase de ejecucion de pruebas. <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Huecas Fernandez Toribio Gabriel <\/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\/1995<\/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 Quemada Vives <\/li>\n<li> Garijo Mazario Francisco J. (vocal)<\/li>\n<li>Martin Llamas Nistal (vocal)<\/li>\n<li>Yolanda Ortega Mallen (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Huecas Fernandez Toribio Gabriel En el campo de la ingenieria de protocolos es fundamental el papel que [&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,3747,3748,126,16008,30277,30772],"tags":[30774,30773,16199,16543,30775,30776],"class_list":["post-8838","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-logica","category-logica-deductiva","category-matematicas","category-politecnica-de-madrid","category-sistemas-automatizados-de-control-de-calidad","category-teoria-de-lenguajes-formales","tag-garijo-mazario-francisco-j","tag-huecas-fernandez-toribio-gabriel","tag-juan-quemada-vives","tag-manas-argemi-jose-antonio","tag-martin-llamas-nistal","tag-yolanda-ortega-mallen"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/8838","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=8838"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/8838\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=8838"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=8838"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=8838"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}