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 Document Type: Sin Especificar Repository: 37 Year: 2012

Sort by Score Title Year -

1-10 from 301 results (0.014 seconds)

Title: Especificación formal de desarrollo de un sistema de firma digital
Author: Daniele, Marcelo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / RAISE / Formal Languages / firma electrónica / criptografía / RSL

Acceder
Title: Definicion formal de la semantica de uml-ocl a traves de su traduccion a object-z
Author: Becker, Valeria / Pons, Claudia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal Languages / OCL / base de datos / UML / Semantics / Object-Z / SOFTWARE ENGINEERING / lenguajes formales / semántica

Acceder
Title: Tecnología informática en un curso de lenguajes formales y teoría de autómatas: un enfoque constructivista
Author: Chesñevar, Carlos Iván / Maguitman, Ana Gabriela / González, María Paula / Cobo, María Laura
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal Languages / Informática Educativa / tecnología / teoría de lenguajes formales y autómatas / informática / educación

Acceder
Title: Explicaciones en argumentación rebatible
Author: Giulietti, Claudio J. / García, Alejandro Javier
Language: Español
Repository: 37
Subject: Ciencias Informáticas / MATHEMATICAL LOGIC AND FORMAL LANGUAGES / explicaciones / Logical Design / argumentación / DeLP

Acceder
Title: Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
Author: Luna, Carlos A. / Betarte, Gustavo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / escificación formal / Semantics / Semantics of Programming Languages / sistemas críticos / modelos de seguridad para dispositivos móviles (MIDP) / asistentes de prueba (Coq)

Acceder
Title: Educación no formal : Fortalezas y debilidades
Author: Diaz Posse, Macarena
Language: Español
Repository: 37
Subject: Bellas Artes / Educación / educación no formal / educación artística

Acceder
Title: Modelización formal y verificación automática de sistemas de tiempo real
Author: Olivero, Alfredo / Gaudiani, Adriana / Maidana, Gabriela
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas de tiempo-real / Formal models / Real time / Modelización y verificación formal / Herramientas de verificación automática

Acceder
Title: Un modelo formal de patrones orientados a objetos
Author: Cechich, Alejandra / Moore, Richard
Language: Español
Repository: 37
Subject: Ciencias Informáticas / base de datos / patterns / SOFTWARE ENGINEERING / Frameworks / métodos formales / orientación a objetos / Formal models

Acceder
Title: Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
Author: Testa, Oscar / Riesco, Daniel Eduardo / Montejano, Germán Antonio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas de Información Geográfica / Web-based services / Frameworks / Formal methods

Acceder
Title: Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.
Author: Gómez González, Raúl / Monge Anwandter, Raúl
Language: Español
Repository: 37
Subject: Ciencias Informáticas / herramientas / herramienta de diseño / SOFTWARE ENGINEERING / sistema distribuido / base de datos / método formal

Acceder

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