{"id":144627,"date":"1993-01-01T00:00:00","date_gmt":"1993-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/implementacion-de-especificaciones-algebraicas\/"},"modified":"1993-01-01T00:00:00","modified_gmt":"1993-01-01T00:00:00","slug":"implementacion-de-especificaciones-algebraicas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/implementacion-de-especificaciones-algebraicas\/","title":{"rendered":"Implementacion de especificaciones algebraicas"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Sanchez Ortega Ana R. <\/strong><\/h2>\n<p>Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su especificacion. En esta tesis se analiza el concepto de implementacion de especificaciones entendiendo como simulacion: una especificacion, sp, simula otra, sp, si los modelos de sp se comportan como los de sp.  sintacticamente una implementacion de sp mediante sp es un par formado por un conjunto de operaciones, que definen los generos de la especificacion sp en terminos de los de sp y un conjunto de ecuaciones que implementan las operaciones de sp en terminos de las d sp. La semantica de la implementacion viene dada por la composicion de tres funtores: sintesis restriccion e identificacion. La novedad de nuestra definicion esta en el tratamiento de las operaciones de la implementacion como operaciones parciales, lo cual permite una caracterizacion de la orreccion facilmente verificable.  ademas permite resolver los problemas de orden teorico y practico que presentaba la gneralizacion al caso parametrizado. Generalizamos las implementaciones al caso de especificaciones parciales teniendo en cuenta la equiValencia en comportamiento. Abordamos el dise\u00f1o modular de un sistema de software desde su especificacion hasta la construccion de los modulos de programas. El resultado fundamental presentado establece que la correccion total de la implementacion de un sistema depende de la correccion de la implementacion concreta de cada modulo. Es crucial en la demostracion tener en cuenta propiedades del lenguaje de programacion que soporta la modularidad como la estabilidad.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Implementacion de especificaciones algebraicas<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Implementacion de especificaciones algebraicas <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Sanchez Ortega Ana R. <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Pa\u00eds vasco\/euskal herriko unibertsitatea<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1993<\/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>Marisa Navarro G\u00f3mez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Mario Rodr\u00edguez Artalejo <\/li>\n<li>Silvia Clerici Martinez (vocal)<\/li>\n<li>Jos\u00e9 Mar\u00eda Troya Linero (vocal)<\/li>\n<li>Ricardo Pe\u00f1a Mari (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su [&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,126,12909,15624,6473],"tags":[4814,4813,100286,16545,259418,259419],"class_list":["post-144627","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-matematicas","category-pais-vasco-euskal-herriko-unibertsitatea","category-software","category-teoria-de-la-programacion","tag-jose-maria-troya-linero","tag-mario-rodriguez-artalejo","tag-marisa-navarro-gomez","tag-ricardo-pena-mari","tag-sanchez-ortega-ana-r","tag-silvia-clerici-Martinez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/144627","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=144627"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/144627\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=144627"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=144627"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=144627"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}