{"id":15642,"date":"2018-03-09T09:02:53","date_gmt":"2018-03-09T09:02:53","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/reutilizacion-de-requisitos-funcionales-de-sistemas-distribuidos-utilizando-tecnicas-de-descripcion-formal\/"},"modified":"2018-03-09T09:02:53","modified_gmt":"2018-03-09T09:02:53","slug":"reutilizacion-de-requisitos-funcionales-de-sistemas-distribuidos-utilizando-tecnicas-de-descripcion-formal","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/reutilizacion-de-requisitos-funcionales-de-sistemas-distribuidos-utilizando-tecnicas-de-descripcion-formal\/","title":{"rendered":"Reutilizaci\u00f3n de requisitos funcionales de sistemas distribuidos utilizando t\u00e9cnicas de descripci\u00f3n formal"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Rebeca Pilar Diaz Redondo <\/strong><\/h2>\n<p>La reutilizaci\u00f3n de software fue planteada en su d\u00eda como una v\u00eda complementaria para la mejora de los procesos de desarrollo de sistemas, con los objetivos de aligerar todas las tareas propias de estos procesos e incrementar la calidad de los sistemas obtenidos. Los investigadores en este \u00e1mbito coinciden en asegurar que un programa de reutilizaci\u00f3n sistem\u00e1tico, automatizado y formal conseguir\u00eda todos estos prop\u00f3sitos, aunque hasta el momento los intentos de incorporar este tipo de planes de reutilizaci\u00f3n se han visto ralentizados por diversos factores, de los cuales quiz\u00e1 la carencia de entornos tecnol\u00f3gicos apropiados sea uno de los m\u00e1s destacables. Es precisamente en esta l\u00ednea en la que se enmarca el trabajo de esta tesis, proporcionando las bases te\u00f3ricas y formales, y describiendo una metodolog\u00eda de aplicaci\u00f3n de las mismas con el objetivo de lograr un entorno la reutilizaci\u00f3n especialmente adaptado a un proceso de obtenci\u00f3n de sistemas ya existente. Debido a las peculiaridades de este proceso, se ha constatado que uno de los puntos d\u00e9biles del mismo es la elevada frecuencia de ejecuci\u00f3n del algoritmo de verificaci\u00f3n &#8211;basado en t\u00e9cnicas de model checking&#8211;, y, debido a ello, se propone la reutilizaci\u00f3n de informaci\u00f3n de verificaci\u00f3n asociada a modelos de sistemas, completos o incompletos, con el objetivo de aliviar la carga computacional requerida para las tareas de verificaci\u00f3n. Pero no es \u00e9sta la \u00fanica circunstancia propicia para la reutilizaci\u00f3n en el entorno de desarrollo de partida, sino que a la hora de comenzar con el proceso de creaci\u00f3n de un nuevo sistema tambi\u00e9n ser\u00eda conveniente ser capaces de evitar trabajo redundante y partir de alg\u00fan modelo apropiado sobre el que se haya trabajado con anterioridad, de esta forma podr\u00eda incrementarse la eficiencia del proceso al reducirse las labores de s\u00edntesis iniciales. De esta manera nuestra propuesta establece la reutilizaci\u00f3n de elementos softwar<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Reutilizaci\u00f3n de requisitos funcionales de sistemas distribuidos utilizando t\u00e9cnicas de descripci\u00f3n formal<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Reutilizaci\u00f3n de requisitos funcionales de sistemas distribuidos utilizando t\u00e9cnicas de descripci\u00f3n formal <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Rebeca Pilar Diaz Redondo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Vigo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 18\/02\/2002<\/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>Jos\u00e9 Juan Pazos Arias<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Carlos Delgado loss <\/li>\n<li> Lopez garcia candido Antonio (vocal)<\/li>\n<li>Santiago Pav\u00f3n g\u00f3mez (vocal)<\/li>\n<li>abelardo Prado s\u00e1nchez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Rebeca Pilar Diaz Redondo La reutilizaci\u00f3n de software fue planteada en su d\u00eda como una v\u00eda complementaria [&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,332,126,15624,2489,18657],"tags":[49796,49795,30893,30796,49794,48122],"class_list":["post-15642","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-matematicas","category-software","category-tecnologia-de-las-telecomunicaciones","category-vigo","tag-abelardo-prado-sanchez","tag-carlos-delgado-loss","tag-jose-juan-pazos-arias","tag-lopez-garcia-candido-antonio","tag-rebeca-pilar-diaz-redondo","tag-santiago-pavon-gomez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/15642","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=15642"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/15642\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=15642"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=15642"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=15642"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}