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 Language: Español Subject: Languages

Sort by Score Title Year -

1-10 from 112 results (0.026 seconds)

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: 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: 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: 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: 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: 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: 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: Analizando el uso de (Dyn)Alloy como herramienta educativa
Author: Cornejo, César / Politano, Mariano / Raverta, Fernando / Permigiani, Sonia / Ponzio, Pablo Daniel / Regis, Germán / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Languages / Requirements/Specifications

Acceder
Title: Uso de la gramática distributiva en la ingeniería de requisitos
Author: Dasso, Aristides / Funes, Ana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / gramática distributiva / Languages / lenguaje natural

Acceder

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