Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrando 10 de 20.538 registro(s)

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

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic

Más información
Autores/as: Benedikt Bollig

ISBNs: 978-3-540-32922-0 (impreso) 978-3-540-32923-7 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Lenguas y literatura  

libros
Agregar a Mi catálogo

Formal Models of Operating System Kernels

Más información

ISBNs: 978-1-84628-375-8 (impreso) 978-1-84628-718-3 (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  

libros
Agregar a Mi catálogo

Formal Refinement for Operating System Kernels

Más información

ISBNs: 978-1-84628-966-8 (impreso) 978-1-84628-967-5 (en línea)

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

Cobertura temática: Matemáticas - Ciencias de la computación e información - Medios de comunicación - Humanidades y artes  

libros
Agregar a Mi catálogo

Formal Techniques for Networked and Distributed Systems: FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Más información

ISBNs: 978-3-540-29189-3 (impreso) 978-3-540-32084-5 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Ciencias físicas  

libros
Agregar a Mi catálogo

Formal Techniques for Networked and Distributed Systems: FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

Más información

ISBNs: 978-3-540-73195-5 (impreso) 978-3-540-73196-2 (en línea)

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

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

tesis Acceso Abierto
Agregar a Mi catálogo

Formalización con metodologías MDD de una propuesta de framework enfocada a soluciones de procesamiento transaccional

Más información
Autores/as: Hernán Enrique Zbucki ; Claudia Pons ; Javier Bazzocco

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2016 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto Descargá directamente

Cobertura temática: Ciencias de la computación e información  

La ingeniería de software establece que la construcción de programas debe ser encarada de la misma forma que los ingenieros construyen otros sistemas complejos. Los sistemas de procesamiento transaccional no son la excepción. Para lidiar con algunos de los desafíos de programar estas soluciones, se introduce una propuesta de marco de trabajo, que propone la construcción de una base de conceptos comunes, obtenidos del análisis de soluciones preexistentes, y experiencias de los desarrolladores. Esta obtención de factores comunes se hace de forma iterativa, y se capitaliza en elementos del framework que aquí se introduce. En este trabajo de tesis se propone una formalización del framework en cuestión, por medio de la implementación de metodologías dirigidas por modelos (MDD). Específicamente se propone la construcción y adopción de un lenguaje de dominio específico (DSL) que contemple los elementos que conforman el marco de trabajo, permitiendo la generación automática de código. De esta forma, se pretende facilitar tanto la reusabilidad y manutención de los sistemas transaccionales que lo adopten, como así también la integración de la experiencia acumulada por los desarrolladores en el dominio.
tesis Acceso Abierto
Agregar a Mi catálogo

Formalización de fundaciones de la matemática y compiladores correctos por construcción

Más información
Autores/as: Emmanuel Gunther ; Miguel Maria Pagano

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2019 Repositorio Digital Universitario (SNRD) acceso abierto Descargá directamente

Cobertura temática: Ciencias de la computación e información  

El desarrollo de las teorías fundacionales de la Matemática aparecidas en el siglo XX ha dado lugar a numerosos avances científicos en lógica y en ciencias de la computación. La teoría de conjuntos propuesta inicialmente por Georg Cantor a finales del siglo XIX y luego axiomatizada por Zermelo y Fraenkel para evitar paradojas constituye una de las teorías fundacionales más estudiadas y aceptadas por la comunidad científica. Paralelamente a ésta se desarrolló la teoría de tipos a partir de las primeras propuestas realizadas por Bertrand Russell, luego con el cálculo lambda simplemente tipado de Alonzo Church y más adelante con Per Martin-Löf, entre otros. La teoría de tipos abrió el camino a una prolífica área de estudio en ciencias dela computación: por un lado los lenguajes de programación pueden expresar propiedades de corrección en el tipado de los programas, y por otro permiten escribir formalmente resultados matemáticos que pueden chequearse automáticamente, lo que se conoce como formalización de matemática. En el transcurso de este doctorado hemos estudiado la teoría de tipos y su aplicación para desarrollar programas correctos por construcción, en particular compiladores. Mediante el uso de tipos dependientes se puede especificar en el tipo de un compilador la propiedad de corrección con respecto a las semánticas de los lenguajes; presentamos en la tesis una metodología que muestra los alcances y límites de esta propuesta. La teoría subyacente surge de considerar a los lenguajes como álgebras de términos de una signatura, lo cual nos llevó a estudiar álgebras heterogéneas y traducciones entre álgebras de distintas signaturas. El siguiente aporte de nuestro trabajo es la formalización en el lenguaje Agda de una librería con los principales conceptos de álgebra universal, incluyendo un sistema deductivo para la lógica de cuasi identidades y las nociones de morfismos entre signaturas y álgebras reducto asociadas a dichos morfismos. Finalmente hemos estudiado uno de los problemas más famosos en teoría de conjuntos: la independencia de la hipótesis del continuo. La misma afirma que con la axiomatización de Zermelo y Fraenkel (ZF)no se puede probar ni refutar que existan conjuntos con cardinalidad mayor estricta a la de los números naturales y menor estricta a la delos números reales. Este resultado fue obtenido gracias a los aportes de Kurt Gödel en1940(quien probó que la hipótesis del continuo es consistente con ZF) y luego completado por Paul Cohen veinte años más tarde, quien introdujo la técnica deforcing para probar que la negación de la hipótesis del continuo también es consistente conZ F. El desarrollo matemático implicado en estos resultados con lleva un interés particular para realizarlo formalmente en un asistente de pruebas, y no existe hasta el momento una formalización completa. Lawrence Paulson realizó una importante contribución en el asistente de pruebas Isabelle hasta obtener una prueba formal del resultado de Gödel. En la última parte de esta tesis, presentamos los primeros pasos hacia una formalización de forcing tomando como punto departida el trabajo de Paulson. En particular, definimos la extensión genérica de modelos transitivos contables y probamos la validez de algunos de los axiomas de ZFen ella.
tesis Acceso Abierto
Agregar a Mi catálogo

Formalización de refactorings en el contexto de MDA

Más información
Autores/as: Claudia Teresa Pereira ; Liliana María Favre ; Gustavo Héctor Rossi

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2008 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto Descargá directamente

Cobertura temática: Ciencias de la computación e información - Ingeniería civil  

El objetivo principal de esta tesis es presentar una técnica de especificación de refactorings alineados con MDA aplicables a sus diferentes tipos de modelos de diseño UML, es decir, a modelos independientes de la computación, modelos dependientes de una plataforma y modelos dependientes de la implementación. En particular, en este trabajo, se muestra la técnica de especificación de refactorings aplicados a modelos de diagramas de clases UML enriquecidos con anotaciones OCL en los distintos niveles de abstracción. Los refactorings se especifican como contratos OCL utilizando la técnica de metamodelado. Los metamodelos son expresados usando Meta Object Facility (MOF). Asimismo, en esta tesis, se analiza la integración de la especificación de los refactorings con técnicas formales. Se detalla la traducción de los contratos OCL de refactorings y los metamodelos MOF al lenguaje de especificación formal NEREUS.
libros Acceso Abierto
Agregar a Mi catálogo

Formula e metafora

Más información

ISBNs: 9788867052073 (impreso)

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

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

Forschungsdatenmanagement in der Informatik

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 Descargá directamente

Cobertura temática: Ciencias de la computación e información - Ciencias sociales - Educación - Medios de comunicación