{"id":88977,"date":"2018-03-10T00:14:03","date_gmt":"2018-03-10T00:14:03","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/un-lenguaje-para-la-especificacion-y-validacion-de-arquitecturas-de-software\/"},"modified":"2018-03-10T00:14:03","modified_gmt":"2018-03-10T00:14:03","slug":"un-lenguaje-para-la-especificacion-y-validacion-de-arquitecturas-de-software","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/un-lenguaje-para-la-especificacion-y-validacion-de-arquitecturas-de-software\/","title":{"rendered":"Un lenguaje para la especificacion y validacion de arquitecturas de software"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jos\u00e9 Carlos Canal Velasco <\/strong><\/h2>\n<p>A medida que aumenta la complejidad de los sistemas de software surgen aspectos de su desarrollo que hasta entonces no se habian tenido en cuenta, al menos de forma explicita. La ingenieria del software ha ido respondiendo a estas necesidades con el desarrollo de nuevos modelos, notaciones y metodos.  dentro de esta tendencia se encuadra el creciente interes por los aspectos arquitectonicos del software, referidos a todo lo relativo a la estructura de alto nivel de los sistemas; su organizaci\u00f3n en subsistemas y la relacion entre estos, la construccion de aplicaciones vista como una actividad composicional en la que se reutilizan elementos creados por terceros; el desarrollo de familiares de productos caracterizadas por presentar una arquitectura comun; el mantenimiento y la evolucion entendidos como sustitucion de componentes dentro de un marco arquitectonico, etc. En efecto, un aspecto critico a la hora de desarrollar sistemas de software complejos es el dise\u00f1o de su arquitectura, representada como un conjunto de elementos computacionales y de datos interrelacionados de un modo determinado.  desde este punto de vista se ha caracterizado recientemente la arquitectura del software como un campo especifico de estudio, centrado en el nivel del dise\u00f1o en que se describen las propiedades estructurales del sistema que no pueden ser tratadas adecuadamente en los modulos o componentes que lo forman.  si bien el campo de estudio de la arquitectura del software no es algo nuevo, tradicionalmente las arquitecturas han sido desarrolladas de forma implicita. La descripci\u00f3n de los aspectos arquitectonicos ha estado limitada al uso de ciertas expresiones, como arquitectura cliente\/servidor o arquitectura en capas, acompa\u00f1adas de diagramas informales. Estas descripciones carecen de un significado preciso, lo que limita de forma drastica su utilidad. existe,por tanto, una clara necesidad de notaciones de alto nivel especificamente orientadas a la d<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Un lenguaje para la especificacion y validacion de arquitecturas de software<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Un lenguaje para la especificacion y validacion de arquitecturas de software <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jos\u00e9 Carlos Canal Velasco <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 22\/02\/2001<\/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 Mar\u00eda Troya Linero<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: pere Botella l\u00f3pez <\/li>\n<li>Antonio Brogi (vocal)<\/li>\n<li>Juan  Jos\u00e9 Moreno navarro (vocal)<\/li>\n<li> Hern\u00e1ndez n\u00fa\u00f1ez Juan  Mar\u00eda (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jos\u00e9 Carlos Canal Velasco A medida que aumenta la complejidad de los sistemas de software surgen aspectos [&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,6474,7834,126,15624],"tags":[141890,55533,60250,4814,16231,15853],"class_list":["post-88977","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-lenguajes-de-programacion","category-malaga","category-matematicas","category-software","tag-antonio-brogi","tag-hernandez-nunez-juan-maria","tag-jose-carlos-canal-velasco","tag-jose-maria-troya-linero","tag-juan-jose-moreno-navarro","tag-pere-botella-lopez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/88977","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=88977"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/88977\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=88977"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=88977"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=88977"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}