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

Sort by Score Title Year -

1601-1610 from 1773 results (0.025 seconds)

Title: Aplicando métodos formales a la construcción de aplicaciones de hipermedia colaborativas
Author: Mola, Vanesa / Russo, Wanda Mariana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / aplicaciones informáticas / hipermedia

Acceder
Title: Verificación en Alloy de modelos y metamodelos específicos del dominio
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Alloy / Languages / DSL / verificació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: OOHQL: un lenguaje de consulta sobre aplicaciones hipermediales orientadas a objetos
Author: Arambarri, Federico / Sansano, Mauricio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Object-oriented programming / 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: 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: Verifying BON models with alloy
Author: Demasi, Ramiro Adrián / Ponzio, Pablo Daniel / Castro, Pablo Francisco / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / formal methods / object oriented languages / architectural models

AccederDescargar
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: Incorporando Alloy en desarrollos basados en metodologías agiles
Author: Bonino, María Belén / Garis, Ana Gabriela / Riesco, Daniel Eduardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Alloy / Languages / metodologías ágiles / Formal methods

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

« Previous 157 158 159 160 161 162 163 164 165 Next »