OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Repository: 37 Document Type: Tesis Subject: Informática

Sort by Score Title Year -

1-10 from 11 results (0.014 seconds)

Title: Type specialisation of polymorphic languages
Author: Martínez López, Pablo E.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de programación / Informática / Aplicación informática / especialización principal de tipos / especialización de tipos / especialización de programas / producción automática de programas / programas polimórficos

AccederDescargar
Title: Un marco formal para transformaciones en la Ingeniería de Software conducida por modelos
Author: Giandini, Roxana Silvia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Aplicación informática / Informática / Ingeniería de software / Arquitectura de software / Análisis de Algoritmos y Problemas Complejos

AccederDescargar
Title: Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
Author: Pons, Claudia
Language: Español
Repository: 37
Subject: Ciencias Exactas / Ciencias Informáticas / Lógicas y Significados de programas / Modelos de procesos del software / Informática

Acceder
Title: Análisis comparativo de lenguajes notacionales para modelado de procesos
Author: Vasquez, Pilar María
Language: Español
Repository: 37
Subject: Informática / Languages / Programas Informáticos / Model Development / lenguaje notacional / modelado de procesos / MDD / OMG

Acceder
Title: Formalización de refactorings en el contexto de MDA
Author: Pereira, Claudia Teresa
Language: Español
Repository: 37
Subject: Ingeniería / Ingeniería Civil / Ciencias Informáticas / Software / Informática / Aplicación informática / Ingeniería de software / Lenguajes / Diseño de software

AccederDescargar
Title: Lógica de pruebas para certificación de computación móvil
Author: Feller, Federico
Language: Español
Repository: 37
Subject: Ciencias Informáticas / lenguaje de programación / Programación / lógica matemática y lenguajes formales / Informática

Acceder
Title: Realidad aumentada en el Museo
Author: Gallego, Andrea / Aguilar, Leandro
Language: Español
Repository: 37
Subject: Informática / android / Artificial, augmented, and virtual realities / Museos / usabilidad / Cellular architecture (e.g., mobile)

Acceder
Title: Una técnica para una especificación inicial en RSL / A technique for an initial specification in RSL
Author: Mauco, Virginia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Aplicación informática / Informática / Requerimientos/Especificaciones

Acceder
Title: Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF
Author: Garcia, Carlos Diego
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Lenguajes de programación / Informática

AccederDescargar
Title: Enfoque integrado de procesamiento de flujos de datos centrado en metadatos de mediciones
Author: Diván, Mario José
Language: Español
Repository: 37
Subject: Informática / flujo de datos / mediciones / metadatos / marcos de medición y evaluación / fuentes de datos heterogéneas

AccederDescargar

« Previous 1 2 Next »