{"id":133752,"date":"1997-01-01T00:00:00","date_gmt":"1997-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/especificacion-formal-de-sistemas-graficos\/"},"modified":"1997-01-01T00:00:00","modified_gmt":"1997-01-01T00:00:00","slug":"especificacion-formal-de-sistemas-graficos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/especificacion-formal-de-sistemas-graficos\/","title":{"rendered":"Especificacion formal de sistemas graficos."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Miguel Gea Megias <\/strong><\/h2>\n<p>En la tesis se presenta un nuevo metodo de especificacion formal, orientado a la especificacion de sistemas graficos. Se ha utilizado un formalismo adecuado para la especificacion de sistemas graficos que permite su descripcion a un nivel alto de abstraccion, asi como de desarrollar una serie de herramientas que faciliten el desarrollo de software a partir de la especificacion.  se han estudiado distintas tecnicas de especificacion formal, asi como su aplicacion a sistemas graficos.  partiendo de tecnicas basadas en la especificacion algebraica hemos propuesto un modelo formal basado en la representacion del estado basado en la historia funcional que ha sido aplicada. Sobre este modelo, hemos analizado y caracterizado una serie de propiedades formales. Se ha propuesto un lenguaje de especificacion (gralpla), asi como una serie de herramientas para la comprobacion de la correccion de la especificacion y la traduccion de las especificaciones a un lenguaje de alto nivel orientado a objetos.  finalmente, se exponen una serie de ejemplos de especificacion de sistemas graficos, asi como el metodo de traduccion de las especificaciones a lenguaje c++.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Especificacion formal de sistemas graficos.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Especificacion formal de sistemas graficos. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Miguel Gea Megias <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Granada<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1997<\/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>Juan  Carlos Torres Cantero<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Buenaventura Clares Rodr\u00edguez <\/li>\n<li>A. Duce David (vocal)<\/li>\n<li>Pere Botella L\u00f3pez (vocal)<\/li>\n<li>D. Harrison Michael (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Miguel Gea Megias En la tesis se presenta un nuevo metodo de especificacion formal, orientado a la [&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,15977,126,15624],"tags":[247791,35611,247792,21897,46467,15853],"class_list":["post-133752","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-con-ayuda-de-ordenador","category-matematicas","category-software","tag-a-duce-david","tag-buenaventura-clares-rodriguez","tag-d-harrison-michael","tag-juan-carlos-torres-cantero","tag-miguel-gea-megias","tag-pere-botella-lopez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/133752","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=133752"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/133752\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=133752"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=133752"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=133752"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}