Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrando 10 de 11.580 registro(s)

Filtros temática quitar todos
libros Acceso Abierto
Agregar a Mi catálogo

Vergleichende griechisch-slavische Aspektstudien

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Lenguas y literatura  

libros Acceso Abierto
Agregar a Mi catálogo

Verhaltensdesign: Technologische und ästhetische Programme der 1960er und 1970er Jahre

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ciencias sociales - Educación - Sociología - Geografía social y económica - Medios de comunicación - Lenguas y literatura  

libros Acceso Abierto
Agregar a Mi catálogo

Verhüllte Schaulust: Die Maske in Schnitzlers »Traumnovelle« und in Kubricks »Eyes Wide Shut«

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Lenguas y literatura  

tesis Acceso Abierto
Agregar a Mi catálogo

Verificación de software usando Alloy

Más información
Autores/as: Juan Pablo Galeotti ; Marcelo Fabián Frias

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2010 Biblioteca Digital (FCEN-UBA) (SNRD) acceso abierto

Cobertura temática: Lenguas y literatura  

La verificación acotada de software usando SAT consiste en la traducción del programa junto con las anotaciones provistas por el usuario a una fórmula proposicional. Luego de lo cual la fórmula es analizada en busca de violaciones a la especificación usando un SAT-solver. Si una violación es encontrada, una traza de ejecución exponiendo el error es exhibida al usuario. Alloy es un lenguaje formal relacional que nos permite automáticamente analizar especificiaciones buscando contraejemplos de aserciones con la ayuda de un SAT-solver off-the-shelf. Las contribuciones de la presente tesis son principalmente dos. Por un lado, se presenta una traducción desde software anotado en lenguaje JML al lenguaje Alloy. Para conseguir esto, se presenta: • DynAlloy, una extensión al lenguaje de especificación Alloy para describir propiedades dinámicas de los sistemas usando acciones. Extendemos la sintaxis de Alloy con una notación para escribir aserciones de correctitud parcial. La semántica de estas aserciones es una adaptación del precondición liberal más débil de Dijsktra. • DynJML, un lenguaje de especificación orientado a objetos que sirve de representación intermedia para facilitar la traducción de JML a DynAlloy. • TACO, un prototipo que implementa la traducción de JML a DynAlloy. En segundo lugar, introducimos una técnica novedosa, general y complementamente automatizable para analizar programas Java secuenciales anotados con JML usando SAT. Esta técnica es especialmente beneficiosa cuando el programa opera con estructuras de datos complejas. Para esto, se instrumenta el modelo Alloy con un predicado de ruptura de simetrías que nos permite el cómputo paralelo y automatizado de cotas ajustadas para los campos Java.
libros
Agregar a Mi catálogo

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Más información

ISBNs: 978-3-540-68977-5 (impreso) 978-3-540-69061-0 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  

libros Acceso Abierto
Agregar a Mi catálogo

Verleger als Leser und als Vermittler von Lesekultur: Britische Verlegerkarrieren zwischen 1800 und 1926 unter besonderer Beruecksichtigung lesebiographischer Ansaetze

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Lenguas y literatura  

libros Acceso Abierto
Agregar a Mi catálogo

Verleihung der Ehrendoktorwürde an Herrn Prof. Dr. Klaus Garber. Ansprachen zur Verleihung der Ehrendoktorwürde an Professor Dr. Klaus Garber am 5. Februar 2003 im Warburg-Haus

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Humanidades y artes - Historia y arqueología - Lenguas y literatura  

libros Acceso Abierto
Agregar a Mi catálogo

Verlichte verhalen: De omgang met het verleden in de Nederlandse Verlichting

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Lenguas y literatura  

libros Acceso Abierto
Agregar a Mi catálogo

Vermitteln – Verbinden – Verstehen: 46. Jahrestagung des Fachverbandes Deutsch als Fremd- und Zweitsprache an der Technischen Universität Chemnitz 2019

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Lenguas y literatura  

libros Acceso Abierto
Agregar a Mi catálogo

Vernaculars in an Age of World Literatures

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere Directory of Open access Books acceso abierto

Cobertura temática: Ciencias sociales - Sociología - Lenguas y literatura