CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Verificación en tiempo de ejecución con Streams / Santiago Gabriel Romero.

By: Romero, Santiago Gabriel, 1983-.
Contributor(s): Sánchez, César [dir.] | D'Argenio, Pedro Ruben, 1968- [col.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2010Description: 123 p. : il. ; 30 cm.Subject(s): Software | Program verification | Verificación de sistemas | Especificación | Monitoreo | Verificación de programas | Programa recursivo | DecibilidadOnline resources: Acceso a Versión Digital Disponible en línea.Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. Summary: La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. Su mayor ventaja reside en ser realizada mientras el programa es ejecutado, permitiendo reaccionar ante cualquier comportamiento no deseado del sistema, teniendo en cuenta su estado actual. Diversos formalismos han sido estudiados y desarrollados para la aplicación de esta técnica, sin embargo la vasta mayoría de ellos está restringida a chequear valores de verdad. En este trabajo presentamos NSRV, un lenguaje de especificación simple y más expresivo que los formalismos aplicables a la verificación en tiempo de ejecución actuales, junto con un algoritmo para la monitorización de sistemas síncronos de manera incremental. El lenguaje permite especificar una amplia gama de propiedades no regulares, como corrección con respecto a pre y post condiciones o propiedades "locales" a un contexto que abstraen la ejecución de otros procedimientos, enriquecidas por la posibilidad de utilizar no sólo valores de verdad sino también valores numéricos.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C ROM 1 Available 20553
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C ROM ej.2 http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/15526.pdf 2 Available Disponible también en línea 20554
Total holds: 0

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.

Bibliografía : p. 121-123.

La verificación en tiempo de ejecución es una de las técnicas utilizadas con el objetivo de garantizar la corrección, seguridad y confiabilidad de los sistemas de software que ha recibido gran atención en los últimos años. Su mayor ventaja reside en ser realizada mientras el programa es ejecutado, permitiendo reaccionar ante cualquier comportamiento no deseado del sistema, teniendo en cuenta su estado actual. Diversos formalismos han sido estudiados y desarrollados para la aplicación de esta técnica, sin embargo la vasta mayoría de ellos está restringida a chequear valores de verdad.
En este trabajo presentamos NSRV, un lenguaje de especificación simple y más expresivo que los formalismos aplicables a la verificación en tiempo de ejecución actuales, junto con un algoritmo para la monitorización de sistemas síncronos de manera incremental. El lenguaje permite especificar una amplia gama de propiedades no regulares, como corrección con respecto a pre y post condiciones o propiedades "locales" a un contexto que abstraen la ejecución de otros procedimientos, enriquecidas por la posibilidad de utilizar no sólo valores de verdad sino también valores numéricos.

Disponible en línea.

La biblioteca posee 2 ej.

Click on an image to view it in the image viewer

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//