Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | Universidad Nacional de Avellaneda | - |
| dc.contributor | Asteasuain, Fernando | - |
| dc.creator | Asteasuain, Fernando | - |
| dc.date | 2016 | - |
| dc.date.accessioned | 2019-07-04T16:03:20Z | - |
| dc.date.available | 2019-07-04T16:03:20Z | - |
| dc.date.issued | 2016 | - |
| dc.identifier | http://rdd.undav.edu.ar/pdfs/pr57/pr57.pdf | - |
| dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/332528 | - |
| dc.description | Fil: Asteasuain, Fernando. Universidad Nacional del Sur | - |
| dc.description | Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda | - |
| dc.description | Existe consenso en la comunidad académica y de ingenieros de software que es fundamental entender, modelar y describir el comportamiento del software complejo desde etapas tempranas del desarrollo. El paradigma de descripción declarativa, basado en el modelado de las propiedades y objetivos esenciales de los objetos y agentes, posee características especialmente prometedoras para este tipo de desafíos. Sin embargo, las alternativas existentes en este paradigma son lógicas temporales que poseen limitaciones prácticas y teóricas. Asimismo, la verificación formal de propiedades sigue siendo en la actualidad uno de los mayores desafíos para la transferencia de tecnología de verificación de software como model checking. Los usuarios de estas técnicas deben enfrentar el desafío de expresar propiedades en el lenguaje formal usado en la herramienta de especificación. Dos de las aproximaciones más utilizadas son lógicas temporales como LTL, y notaciones operacionales basadas en autómatas. Ambas aproximaciones requieren usuarios “expertos” o con conocimientos avanzados para poder expresar, describir y validar la propiedad de interés. Todo esto indica la necesidad de contar con un lenguaje formal declarativo para expresar propiedades, que sea lo suficientemente expresivo y que permita realizar tareas de validación de manera simple e intuitiva. En esto contexto, el objetivo global de esta tesis fue elaborar un enfoque de modelado declarativo, capaz de manejar distintos niveles de abstracción, con semántica precisa y clara, para modelar el comportamiento de sistemas reactivos. El objetivo específico fue el desarrollo de un lenguaje de modelado declarativo, basado en notaciones gráficas (escenarios), capaz de modelar y describir el comportamiento de sistemas reactivos. El lenguaje posee una semántica y sintaxis clara y precisa, con la posibilidad de realizar razonamiento automático, modelado incremental, y validación intuitiva de propiedades. | - |
| dc.format | application/pdf | - |
| dc.language | spa | - |
| dc.publisher | Universidad Nacional de Avellaneda. Secretaría de Investigación e Innovación Socioproductiva | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.source | Cartografías del Sur 2016 3 | - |
| dc.source | reponame:RDyD (UNDAV) | - |
| dc.source | instname:Universidad Nacional de Avellaneda | - |
| dc.source | instacron:UNDAV | - |
| dc.source.uri | http://rdd.undav.edu.ar/pdfs/pr57/pr57.pdf | - |
| dc.title | Un enfoque declarativo para modelar el comportamiento en sistemas reactivos | - |
| dc.type | info:eu-repo/semantics/article | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.type | info:ar-repo/semantics/articulo | - |
| dc.coverage | Avellaneda (Argentina, Pcia. de Buenos Aires) | - |
| Aparece en las colecciones: | Universidad Nacional de Avellaneda | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.