{"id":17438,"date":"2018-03-09T09:05:30","date_gmt":"2018-03-09T09:05:30","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/especificacion-y-desarrollo-de-software\/"},"modified":"2018-03-09T09:05:30","modified_gmt":"2018-03-09T09:05:30","slug":"especificacion-y-desarrollo-de-software","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/especificacion-y-desarrollo-de-software\/","title":{"rendered":"Especificaci\u00f3n y desarrollo de software"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Francisco Luis Gutierrez Vela <\/strong><\/h2>\n<p>En esta tesis se presenta un modelo formal de sistema interactivo que, junto con un lenguaje basado en t\u00e9cnicas algebraicas, permite la especificaci\u00f3n de las caracter\u00edsticas relevantes de este tipo de sistemas.  se ha desarrollado el lenguaje active gralpla con el que se pueden realizar especificaciones de sistemas interactivos a un nivel de abstracci\u00f3n alto. junto con el lenguaje se han desarrollado un conjunto de herramientas que facilitan la construcci\u00f3n del software a partir de la especificaci\u00f3n.  partiendo de t\u00e9cnicas basadas en m\u00e9todos algebraicos se ha propuesto un modelo formal de sistema en base del concepto de objeto narrativo en el que se van a encapsular las caracter\u00edsticas propias de la interacci\u00f3n (estado , representaci\u00f3n gr\u00e1fica, realimentaci\u00f3n, &#8230;). El modelo propuesto utiliza una representaci\u00f3n del estado de cada uno de los objetos para un modelo de c\u00e1lculo que permita obtener prototipos del sistema, en un lenguaje de alto nivel, partiendo de la especificaci\u00f3n del mismo.  el lenguaje y el modelo formal propuesto se han integrado dentro de un ciclo de vida de desarrollo de software basado en la utilizaci\u00f3n de prototipos para permitir la inclusi\u00f3n del usuario dentro de todo el proceso de desarrollo y que facilita el an\u00e1lisis de la usabilidad del sistema en las etapas iniciales del desarrollo.  se han propuesto una serie de ejemplos que ilustran el poder de expresividad del lenguaje. Y por \u00faltimo se han utilizado t\u00e9cnicas de verificaci\u00f3n formal basadas en reescritura de t\u00e9rminos para analizar la forma en la que se pueden probar propiedades propias de los sistemas interactivos como la alacanzabilidad, la visibilidad y la predecibilidad.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Especificaci\u00f3n y desarrollo de software<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Especificaci\u00f3n y desarrollo de software <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Francisco Luis Gutierrez Vela <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Granada<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 14\/06\/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>Juan  Carlos Torres Cantero<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: roberto Moriyon salomon <\/li>\n<li>julio Abascal gonzalez (vocal)<\/li>\n<li>Jes\u00fas Lores vidal (vocal)<\/li>\n<li> Rodr\u00edguez fortiz Mar\u00eda  Jos\u00e9 (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Francisco Luis Gutierrez Vela En esta tesis se presenta un modelo formal de sistema interactivo que, junto [&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,126,15624],"tags":[54589,15851,21897,38915,6340,53586],"class_list":["post-17438","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-matematicas","category-software","tag-francisco-luis-gutierrez-vela","tag-jesus-lores-vidal","tag-juan-carlos-torres-cantero","tag-julio-abascal-gonzalez","tag-roberto-moriyon-salomon","tag-rodriguez-fortiz-maria-jose"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/17438","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=17438"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/17438\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=17438"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=17438"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=17438"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}