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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (301)

Show More Show Less

Author

Aguirre, Jorge (17)
Montejano, Germán Antonio (16)
Arroyo, Marcelo (15)
Riesco, Daniel Eduardo (15)
Baum, Gabriel Alfredo (12)
García, Alejandro Javier (11)
Bavera, Francisco (10)
Simari, Guillermo Ricardo (9)
Berón, Mario (8)
Delrieux, Claudio (8)

Show More Show Less

Subject

Ciencias Informáticas (248)
Languages (78)
SOFTWARE ENGINEERING (54)
Educación (31)
Humanidades (23)
Learning (22)
ARTIFICIAL INTELLIGENCE (21)
Computer Uses in Education (21)
Letras (21)
educación (21)

Show More Show Less

Year

2012 (301)
2005 (28)
2013 (22)
2014 (22)
2003 (20)
2006 (19)
2001 (18)
2008 (16)
2002 (15)
2004 (15)

Show More Show Less

Document Type

Sin Especificar (301)

Show More Show Less

Language

Español (301)

Show More Show Less

Your search

Query: FORMAL LANGUAGES Repository: 37 Language: Español Document Type: Sin Especificar Year: 2012

Sort by Score Title Year -

21-30 from 301 results (0.017 seconds)

Title: Especificación de Componentes MDA para Patrones de Diseño
Author: Martínez, Liliana Inés / Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Model-Driven Architecture / Architectures / Patterns / reusabilidad / Design / formal specifications

Acceder
Title: Um ambiente para o processamento de Linguagens Adaptativas de Programação
Author: Freitas, Aparecido Valdemir de / Neto, João José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / dispositivos adaptativos / dispositivos auto-modificáveis / linguagem de programação adaptativa / Programming Languages and Software / adaptive devices / self-modifying devices

Acceder
Title: Una herramienta de soporte al proceso de desarrollo dirigido por modelos (MDD)
Author: Cuaderno, Lucas / Di Lorenzo, Ezequiel / Gaig, Agustín / Garcia, Carlos Diego / Giandini, Roxana Silvia / Ocaranza, Luciana / Pinasco, Claudia Marina / Pons, Claudia / Salvatierra, Facundo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Models / desarrollo dirigido por modelos (MDD) / Software / arquitectura dirigida por modelos (MDA) / Languages / lenguaje unificado de modelado (UML) / lenguaje de especificación formal para objetos (OCL)

Acceder
Title: Verificando diseños BON mediante Alloy
Author: Castro, Pablo Francisco / Ponzio, Pablo Daniel / Demasi, Ramiro Adrián / Baum, Gabriel Alfredo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Object-oriented languages

Acceder
Title: Listas: Una Formalización Relacional
Author: Martínez López, Pablo E. / Baum, Gabriel Alfredo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / PROGRAMMING LANGUAGES / fork álgebras / construcción formal de programas / teoría de listas / tipos de datos

Acceder
Title: Análisis modular y recuperación de contraejemplos en TACO
Author: Alborodo, Raúl / Ricci, Nicolás / Galeotti, Juan P. / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software/Program Verification / Languages

Acceder
Title: Análisis de lenguajes para especificación e implementación de agentes
Author: Gottifredi, Sebastián / García, Alejandro Javier
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas Multi-Agentes / Intelligent agents / Languages / Agentes / Lenguaje de especificación de agentes / Lenguaje de implementación de agentes / Comunicación

Acceder
Title: Un sistema multilenguaje para argumentación rebatible
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / inteligencia artificial / Languages / ARTIFICIAL INTELLIGENCE / contextos / razonamiento rebatible / sistemas argumentativos

Acceder
Title: Vinculación de un curso interactivo multimedial con un lenguaje visual para ejecución y animación de algoritmos
Author: De Giusti, Armando Eduardo / Madoz, María Cristina / Gorga, Gladys / Bertone, Rodolfo Alfredo / Champredonde, Raúl
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Curso interactivo multimedial / Visual / informática / Lenguaje Visual / educación / Languages / Algorithms / ejecución y animación de algoritmos

Acceder
Title: Uma ferramenta para a construção de aplicações multilinguagens de programação
Author: Freitas, Aparecido Valdemir de / Neto, João José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / paradigma / multilinguagem / multiparadigma / ambiente / composição / Environments / SOFTWARE ENGINEERING / Multiparadigm languages / Languages / paradigm / multilanguage / multiparadigm / composition

Acceder

« Previous 1 2 3 4 5 6 7 8 9 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723