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 Subject: Languages

Sort by Score Title Year -

11-20 from 145 results (0.015 seconds)

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: 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
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: Herramienta para automatizar la transformación UML/OCL a Object-Z
Author: Becker, Valeria
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Object-oriented programming / aplicaciones informáticas / Languages

Acceder
Title: Implementing a typed assembly language and its machine model
Author: Medel, Ricardo / Lucotte, Matthieu
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / Programming languages / type systems / typed assembly languages / compilers / resources awareness

Acceder
Title: Typing polymorphic recursion
Author: Figueiredo, Lucília Camarão de / Camarão, Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / informática / Polymorphism / Programming languages / Type inference

Acceder
Title: LaST: Language Study Tool
Author: Molinari, Enrique / Lindner, Edgard
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Languages / tecnología / Semantics / educación / Computer science education / informática / computer education technology / programming language semantics / teaching programming languages

Acceder

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