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

Repository: 37 Query: FORMAL LANGUAGES

Sort by Score Title Year -

171-180 from 1773 results (0.024 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: 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: Towards a programming language based on Prior's metric temporal operators
Author: Cobo, María Laura / Augusto, Juan Carlos
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Database (persistent) programming languages / Real time

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: 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: Formalizing relations between use cases in the unified modeling language
Author: Giandini, Roxana Silvia / Pons, Claudia / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Object-oriented design methods / Semantics / graphical modeling languages / use cases

Acceder
Title: Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA
Author: Matos, Alexandre Veloso de / Gonçalves Riso, Bernardo / Notare, Mirela Sechi Moretti Anonni
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Informática / LOTOS / java / carregador de applets / Security and Protection / Distributed systems / PROGRAMMING LANGUAGES

Acceder

« Previous 14 15 16 17 18 19 20 21 22 Next »