Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrando 10 de 20.620 registro(s)

Filtros temática quitar todos
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

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

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

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

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

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

tesis Acceso Abierto
Agregar a Mi catálogo

Fortran refactoring for legacy systems

Más información
Autores/as: Mariano Méndez ; Fernando Gustavo Tinetti ; Alejandra Garrido

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

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

The motivation of this work comes from a Global Climate Model (GCM) Software which was in great need of being updated. This software was implemented by scientists in the ’80s as a result of meteorological research. Written in Fortran 77, this program has been used as an input to make climate predictions for the Southern Hemisphere. The execution to get a complete numerical data set takes several days. This software has been programmed using a sequential processing paradigm. In these days, where multicore processors are so widespread, the time that an execution takes to get a complete useful data set can be drastically reduced using this technology. As a first objective to reach this goal of reengineering we must be able to understand the source code. An essential Fortran code characteristic is that old source code versions became unreadable, not comprehensive and sometimes “ejects” the reader from the source code. In that way, we can not modify, update or improve unreadable source code. Then, as a first step to parallelize this code we must update it, turn it readable and easy to understand. The GCM has a very complex internal structure. The program is divided into about 300 .f (Fortran 77) files. These files generally implement only one Fortran subroutine. Less than 10% of the files are used for common blocks and constants. Approximately 25% of the lines in the source code are comments. The total number of Fortran source code lines is 58000. A detailed work within the source code brings to light that [74]: 1 About 230 routines are called/used at run time. Most of the runtime is spent in routines located at deep levels 5 to 7 in the dynamic call graph from the main routine. 2 The routine with most of the runtime (the top routine from now on) requires more than 9% of the total program runtime and is called about 315000 times. 3 The top 10 routines (the 10 routines at the top of the flat profile) require about 50% of total runtime. Two of them are related to intrinsic Fortran functions. Our first approach was using a scripting language and Find & Replace tools trying to upgrade the source code, this kind of code manipulation do not guarantee preservation of software behavior. Then, our goal was to develop an automated tool to transform legacy software in more understandable, comprehensible and readable applying refactoring as main technique. At the same time a catalog of transformation to be applied in Fortran code is needed as a guide to programmers through this process.
actas de congreso
Agregar a Mi catálogo

Forum for Information Retrieval Evaluation

Más información

ISBNs: 978-1-4503-9596-0 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2021 ACM Digital Library

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

actas de congreso
Agregar a Mi catálogo

Forum for Information Retrieval Evaluation

Más información

ISBNs: 978-1-4503-8978-5 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2020 ACM Digital Library

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

libros
Agregar a Mi catálogo

Foundation 3ds Max 8 Architectural Visualization

Más información

ISBNs: 978-1-59059-557-2 (impreso) 978-1-4302-0158-8 (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 - Ciencias sociales - Derecho  

libros
Agregar a Mi catálogo

Foundation ActionScript 3.0 Animation: Making Things Move!

Más información
Autores/as: Keith Peters

ISBNs: 978-1-59059-791-0 (impreso) 978-1-4302-0384-1 (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