{"id":81789,"date":"2018-03-10T00:05:41","date_gmt":"2018-03-10T00:05:41","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/prototipado-de-especificaciones-de-sistemas-distribuidos-basadas-en-restricciones-aplicacion-al-lenguaje-tesoro\/"},"modified":"2018-03-10T00:05:41","modified_gmt":"2018-03-10T00:05:41","slug":"prototipado-de-especificaciones-de-sistemas-distribuidos-basadas-en-restricciones-aplicacion-al-lenguaje-tesoro","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/prototipado-de-especificaciones-de-sistemas-distribuidos-basadas-en-restricciones-aplicacion-al-lenguaje-tesoro\/","title":{"rendered":"Prototipado de especificaciones de sistemas distribuidos basadas en restricciones. aplicaci\u00f3n al lenguaje tesoro."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Rafael Corchuelo Gil <\/strong><\/h2>\n<p>Esta tesis plantea la posibilidad de fomentar el uso de los m\u00e9todos formales en la industria inform\u00e1tica utilz\u00e1ndolos como lenguajes de muy alto nivel a partir de los cuales obtener r\u00e1pidamente prototipos aplciables en la fase de an\u00e1lisis de requisitos.  se realiza un estudio exhaustivo de los lenguajes lcm, troll, oasis y tesoro destacando sus caracter\u00edsticas comunes y aquellas que resultan m\u00e1s \u00fatiles enla pr\u00e1ctica. Para poder compilarlos, se propone unlenguaje ensamblador llamado clip y se desarrollan t\u00e9cnicas para implementarlo sobre una red de estaciones de trabajo meterog\u00e9neas.  el problema de la selecci\u00f3nn jsuta de alternativas ha sido tratado con grandetalle y se han realizado varias propuestas para reolverlos que resultan originales y mejoran sustancialmente las cl\u00e1sicas de francez, informan o best.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Prototipado de especificaciones de sistemas distribuidos basadas en restricciones. aplicaci\u00f3n al lenguaje tesoro.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Prototipado de especificaciones de sistemas distribuidos basadas en restricciones. aplicaci\u00f3n al lenguaje tesoro. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Rafael Corchuelo Gil <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Sevilla<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 17\/12\/1999<\/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>Miguel Toro Bonilla<\/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>Juan Pavon mestras (vocal)<\/li>\n<li>Juan  Manuel Corchado rodr\u00edguez (vocal)<\/li>\n<li> Hern\u00e1ndez n\u00fa\u00f1ez Juan  Manuel (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Rafael Corchuelo Gil Esta tesis plantea la posibilidad de fomentar el uso de los m\u00e9todos formales en [&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,4149,13880,126,10715,15624],"tags":[36536,4814,38695,38697,14675,38694],"class_list":["post-81789","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-informatica","category-matematicas","category-sevilla","category-software","tag-hernandez-nunez-juan-manuel","tag-jose-maria-troya-linero","tag-juan-manuel-corchado-rodriguez","tag-juan-pavon-mestras","tag-miguel-toro-bonilla","tag-rafael-corchuelo-gil"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/81789","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=81789"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/81789\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=81789"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=81789"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=81789"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}