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

Monitores y excepciones en Java / Jorge Rafael ; dir. por Javier O. Blanco.

By: Rafael, Jorge, 1980-.
Contributor(s): Blanco, Javier Oscar, 1968- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n.], 2007Description: 66 p. : il. ; 30 cm.Subject(s): Concurrent programming | Software | Program verification | Language classifications | Language constructs and features | Data structures | Modes of computation | Specifying, verifying and reasoning about programs | Semantics of programming languages | History of computation | Estructura de datos | Modos de Cómputo | Especificación, verificación y razonamiento sobre programas | Monitor | Semáforo | Métodos formales | Verificación | Concurrencia | Java | LivenessDissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2007. Summary: El objetivo de este trabajo es examinar los monitores Java por medio de un análisis formal. Para ello, se toma como ejemplo la implementación un semáforo y se expresa el comportamiento de los monitores Java en términos de lenguaje de comandos guardados con excepciones y de los operadores teóricos del monitor, los cuales tienen una semántica en la lógica de Hoare. Las sentencias utilizadas respetan la especificación de Java y poseen axiomas formales. La programación concurrente, disciplina que propuso el semáforo, se verifica por medio de ciertos requisitos entre los cuales están: safety,liveness y fairness los cuales son adaptados para el caso de los monitores Java.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Copy number Status Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C RAF 1 Available 18811
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C RAF ej.2 2 Available 18812
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, 2007.

Bibliografía : p.65-66.

El objetivo de este trabajo es examinar los monitores Java por medio de un análisis formal. Para ello, se toma como ejemplo la implementación un semáforo y se expresa el comportamiento de los monitores Java en términos de lenguaje de comandos guardados con excepciones y de los operadores teóricos del monitor, los cuales tienen una semántica en la lógica de Hoare. Las sentencias utilizadas respetan la especificación de Java y poseen axiomas formales. La programación concurrente, disciplina que propuso el semáforo, se verifica por medio de ciertos requisitos entre los cuales están: safety,liveness y fairness los cuales son adaptados para el caso de los monitores Java.

La biblioteca posee 2 ej. La biblioteca posee 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



//