{"id":81520,"date":"1999-03-12T00:00:00","date_gmt":"1999-03-12T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/animacion-automatica-de-especificaciones-oasis-utilizando-programacion-logica-concurrente\/"},"modified":"1999-03-12T00:00:00","modified_gmt":"1999-03-12T00:00:00","slug":"animacion-automatica-de-especificaciones-oasis-utilizando-programacion-logica-concurrente","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/animacion-automatica-de-especificaciones-oasis-utilizando-programacion-logica-concurrente\/","title":{"rendered":"Animaci\u00f3n autom\u00e1tica de especificaciones oasis utilizando programaci\u00f3n l\u00f3gica concurrente"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Letelier Torres Patricio Orlando <\/strong><\/h2>\n<p>El modelo conceptual expresa los requisitos funcionales de un sistema de informaci\u00f3n. Errores u omisiones en el modelo conceptual tienen por lo general graves consecuencias en el resto del proceso de desarrollo de software. Por esto, la validaci\u00f3n temprana de requisitos es una actividad de reconocida importancia.  en este sentido, los enfoques m\u00e1s extendidos incluyen t\u00e9cnicas semiformales y, en particular, prototipaci\u00f3n. Sin embargo, el resultado obtenido est\u00e1 lejos de ser satisfactorio. La combinaci\u00f3n de t\u00e9cnicas formales con prototipaci\u00f3n abre nuevas perspectivas, en especial la prototipaci\u00f3n basada en especificaciones formales ejecutables y denominada animaci\u00f3n de especificaciones. El desaf\u00edo en este caso est\u00e1 en la capacidad para obtener c\u00f3digo ejecutable a partir de una especificaci\u00f3n, m\u00e1s a\u00fan si se pretende conseguir la generaci\u00f3n autom\u00e1tica de dicho c\u00f3digo.  precisamente, una de las ventajas de un enfoque formal es el ofrecer un marco m\u00e1s apropiado para establecer un proceso de traducci\u00f3n desde una especificaci\u00f3n autom\u00e1tica de especificaciones oasis utilizando como entorno de implementaci\u00f3n programaci\u00f3n l\u00f3gica concurrente. El trabajo se orienta a la construccion de un ambiente para validaci\u00f3n temprana de especificaciones oasis mediante animaci\u00f3n autom\u00e1tica.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Animaci\u00f3n autom\u00e1tica de especificaciones oasis utilizando programaci\u00f3n l\u00f3gica concurrente<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Animaci\u00f3n autom\u00e1tica de especificaciones oasis utilizando programaci\u00f3n l\u00f3gica concurrente <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Letelier Torres Patricio Orlando <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 03\/12\/1999<\/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>Isidro Ramos Salvert<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Mar\u00eda Troya linero <\/li>\n<li>Miguel Toro bonilla (vocal)<\/li>\n<li>ernesto Pimentel sanchez (vocal)<\/li>\n<li>matilde Celma jim\u00e9nez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Letelier Torres Patricio Orlando El modelo conceptual expresa los requisitos funcionales de un sistema de informaci\u00f3n. Errores [&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":[6314,1890,126,16820],"tags":[41295,60249,4814,173911,173212,14675],"class_list":["post-81520","post","type-post","status-publish","format-standard","hentry","category-bases-de-datos","category-ciencia-de-los-ordenadores","category-matematicas","category-politecnica-de-valencia","tag-ernesto-pimentel-sanchez","tag-isidro-ramos-salvert","tag-jose-maria-troya-linero","tag-letelier-torres-patricio-orlando","tag-matilde-celma-jimenez","tag-miguel-toro-bonilla"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/81520","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=81520"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/81520\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=81520"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=81520"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=81520"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}