{"id":3963,"date":"1994-01-01T00:00:00","date_gmt":"1994-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1994\/01\/01\/arquitectura-de-programas-a-partir-de-especificaciones-formales\/"},"modified":"1994-01-01T00:00:00","modified_gmt":"1994-01-01T00:00:00","slug":"arquitectura-de-programas-a-partir-de-especificaciones-formales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/arquitectura-de-programas-a-partir-de-especificaciones-formales\/","title":{"rendered":"Arquitectura de programas a partir de especificaciones formales"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Joaquin Salvachua Rodriguez <\/strong><\/h2>\n<p>Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos. El presente trabajo expone un algoritmo para la obtencion del sistema de transicion subyacente que mejora, tanto en prestaciones como en cobertura del lenguaje, cualquiera de los enfoques existentes en la literatura especializada.  para dicho algoritmo se presentan arquitecturas de realizacion centralizadas y distribuidas. Estas ultimas sobre sistemas multiprocesador con memoria compartida o con paso de mensajes.  asimismo se tratan aspectos no funcionales, proponiendo extensiones del lenguaje dentro del marco semantico de lotos.  todos estos aspectos se llevan hasta la realizacion practica, generandose modulos que responden a la especificacion extendida y son integrables en sistemas mas amplios.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Arquitectura de programas a partir de especificaciones formales<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Arquitectura de programas a partir de especificaciones formales <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Joaquin Salvachua Rodriguez <\/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\/1994<\/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>Jorge Mataix Oltra (vocal)<\/li>\n<li>Juan  Antonio De La Puente Alfaro (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 Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos. [&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":[2809,1890,126,16008],"tags":[16542,16544,11017,16199,16543,16545],"class_list":["post-3963","post","type-post","status-publish","format-standard","hentry","category-algebra","category-ciencia-de-los-ordenadores","category-matematicas","category-politecnica-de-madrid","tag-joaquin-salvachua-rodriguez","tag-jorge-mataix-oltra","tag-juan-antonio-de-la-puente-alfaro","tag-juan-quemada-vives","tag-manas-argemi-jose-antonio","tag-ricardo-pena-mari"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/3963","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=3963"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/3963\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=3963"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=3963"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=3963"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}