{"id":8845,"date":"1995-01-01T00:00:00","date_gmt":"1995-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1995\/01\/01\/diseno-y-verificacion-de-sistemas-en-lotos\/"},"modified":"1995-01-01T00:00:00","modified_gmt":"1995-01-01T00:00:00","slug":"diseno-y-verificacion-de-sistemas-en-lotos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/logica\/diseno-y-verificacion-de-sistemas-en-lotos\/","title":{"rendered":"Dise\u00f1o y verificacion de sistemas en lotos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Martin Llamas Nistal <\/strong><\/h2>\n<p>Lotos (lenguage of temporal ordering specificaction) es una tecnica de descripcion formal desarrollada para la especificacion formal de sistemas abiertos distribuidos.  la idea basica de lotos es que los sistemas se pueden especificar definiendo la relacion temporal entre las interacciones que constituyen su comportamiento externamente obserbable.  lotos permite especificaciones no-ambiguas, precisas, completas e independientes de la implementacion, y proporcionan una base formalmente bien definida para la verificacion y pruebas.  se puede utilizar lotos y su teoria matematica asociada como soporte de un proceso de dise\u00f1o mediante refinamientos sucesivos de pasos, en donde el sistema se construye incrementalmente en una secuencia de pasos de dise\u00f1o encaminados a obtener un producto que cumpla con un determinado documento de requisitos de usuario. Se puede determinar la consistencia entre los sucesivos modelos lotos hasta el producto final mediante la verificacion de relaciones matematicas que se han se mantener entre los distintos refinamientos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Dise\u00f1o y verificacion de sistemas en lotos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Dise\u00f1o y verificacion de sistemas en lotos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Martin Llamas Nistal <\/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>Juan Quemada Vives<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Ma\u00f1as Argemi Jos\u00e9 Antonio <\/li>\n<li> Santos Suarez Jos\u00e9 M. (vocal)<\/li>\n<li> De Frutos Escrig David (vocal)<\/li>\n<li>Juan  Antonio De La Puente Alfaro (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Martin Llamas Nistal Lotos (lenguage of temporal ordering specificaction) es una tecnica de descripcion formal desarrollada para [&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":[3747,3748,16008,30772],"tags":[6476,11017,16199,16543,30775,30795],"class_list":["post-8845","post","type-post","status-publish","format-standard","hentry","category-logica","category-logica-deductiva","category-politecnica-de-madrid","category-teoria-de-lenguajes-formales","tag-de-frutos-escrig-david","tag-juan-antonio-de-la-puente-alfaro","tag-juan-quemada-vives","tag-manas-argemi-jose-antonio","tag-martin-llamas-nistal","tag-santos-suarez-jose-m"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/8845","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=8845"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/8845\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=8845"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=8845"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=8845"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}