{"id":87693,"date":"2000-01-12T00:00:00","date_gmt":"2000-01-12T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/especificacion-verificacion-y-mantenimiento-de-requisitos-funcionales-con-tecnicas-de-descripcion-formal\/"},"modified":"2000-01-12T00:00:00","modified_gmt":"2000-01-12T00:00:00","slug":"especificacion-verificacion-y-mantenimiento-de-requisitos-funcionales-con-tecnicas-de-descripcion-formal","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/logica\/especificacion-verificacion-y-mantenimiento-de-requisitos-funcionales-con-tecnicas-de-descripcion-formal\/","title":{"rendered":"Especificacion, verificacion y mantenimiento de requisitos funcionales con tecnicas de descripcion formal."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jorge Garcia Duque <\/strong><\/h2>\n<p>La tesis se enmarca dentro de la ingenieria del software, disciplina que tiene como objetivo proporcionar teorias, metodos y herramientas para el desarrollo de software de calidad.  la aplicaci\u00f3n de las metodolog\u00edas de desarrollo software tradicionales a sistemas software complejos (sistemas software de comunicaciones) supuso un detrimento en la calidad de los productos software desarrollados, y un incremento en los costes de los mismos; debido, en gran medida, a la imposibilidad de probar el sistema hasta que se dispon\u00eda de una implementaci\u00f3n del mismo.  las tecnicas formales, basadas en la utilizaci\u00f3n de las matematicas como vehiculo para crear especificaciones de sistemas con una sintexis y sem\u00e1ntica formalmente definida, permiten verificar y validar el sistema en todas las fases del proceso de desarrollo, reduciendo el riesgo de propagar errores a lo largo de dicho proceso. Sin embargo, y a pesar de las ventajas potenciales de los metodos formales, es escasa su integraci\u00f3n en la industria del software. este hecho esta motivado principalmente por: el desconocimiento (tanto de clientes como de dise\u00f1adores) de estas tecnicas; la inexistencia de herramientas apropiadas que permitan su aplicaci\u00f3n practica; asi como su deficiente integraci\u00f3n en el proceso de desarrollo software.  en esta tesis se presenta un modelo de proceso de desarrollo software incremental totalmente formalizado. El trabajo se centra en las primeras etapas del proceso de desarrollo software (especificaci\u00f3n, analisis y verificaci\u00f3n de requisitos), abordando tambi\u00e9n la fase de dise\u00f1o de la arquitectura del sistema y la fase de mantenimiento. El proceso incremental definido permite tratar cada refinamiento del sistema (incremento) de diferente forma, en funci\u00f3n de la etapa de desarrollo en que se produzca. Esta idea se basa en dos aspectos fundamentales: por una parte, aprovechar las caracteristicas complementarias de los distintos tipos de tecnicas de des<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Especificacion, verificacion y mantenimiento de requisitos funcionales con tecnicas de descripcion formal.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Especificacion, verificacion y mantenimiento de requisitos funcionales con tecnicas de descripcion formal. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jorge Garcia Duque <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Vigo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/12\/2000<\/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 kloos <\/li>\n<li>Luis Sanchez fernandez (vocal)<\/li>\n<li>pere Botella l\u00f3pez (vocal)<\/li>\n<li> Lopez garcia candido Antonio (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jorge Garcia Duque La tesis se enmarca dentro de la ingenieria del software, disciplina que tiene como [&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":[18534,3747,3748,30772,18657],"tags":[30894,122379,30893,30796,26736,15853],"class_list":["post-87693","post","type-post","status-publish","format-standard","hentry","category-lenguajes-formales","category-logica","category-logica-deductiva","category-teoria-de-lenguajes-formales","category-vigo","tag-carlos-delgado-kloos","tag-jorge-garcia-duque","tag-jose-juan-pazos-arias","tag-lopez-garcia-candido-antonio","tag-luis-sanchez-fernandez","tag-pere-botella-lopez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/87693","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=87693"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/87693\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=87693"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=87693"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=87693"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}