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 Document Type: Sin Especificar

Sort by Score Title Year -

901-910 from 995 results (0.02 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: Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92
Author: Macário, Carla Geovana N. / Borelli, Walter da Cunha / Pedroso, Moacir
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Informática / specification and description languages / object modeling tecniques / especificaçao formal / simulaçao / Specification techniques / Modeling techniques / Object-oriented languages / Simulation

Acceder
Title: From boxes to worlds
Author: Hirsch, Dan Francisco / Areces, Carlos Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Design / Graphic Languages / Modal Logics / Formal Verification / Languages / Software

Acceder
Title: Um ambiente para o processamento de Linguagens Adaptativas de Programação
Author: Freitas, Aparecido Valdemir de / Neto, João José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / dispositivos adaptativos / dispositivos auto-modificáveis / linguagem de programação adaptativa / Programming Languages and Software / adaptive devices / self-modifying devices

Acceder
Title: Especificación de Componentes MDA para Patrones de Diseño
Author: Martínez, Liliana Inés / Favre, Liliana María
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Model-Driven Architecture / Architectures / Patterns / reusabilidad / Design / formal specifications

Acceder
Title: Towards the verification of RAISE specifications through Model Checking
Author: Perna, Juan Ignacio / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / base de datos / model checking / RAISE / formal methods / verification techniques

Acceder
Title: Model checking RAISE applicative specifications
Author: Perna, Juan I. / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model checking / Formal methods / Verification

Acceder
Title: Características estructurales de las redes sociales de mujeres con y sin vinculación al sistema formal de salud
Author: Gonzalez Cowes, Valeria Laura
Language: Español
Repository: 37
Subject: Psicología / redes sociales / Mujeres / Sistemas de Salud

Acceder
Title: Composta urbana, herramienta efectiva para combatir el cambio climático : Experiencias y resultados de un programa no formal de educación ambiental
Author: Pérez Ruiz, C. L.
Language: Español
Repository: 37
Subject: Ecología / Cambio Climático / Educación ambiental / Compostaje

Acceder
Title: Caracterización formal y análisis empírico de mecanismos incrementales de búsqueda basados en contexto
Author: Lorenzetti, Carlos M.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Semantics / semántica / Information Search and Retrieval / recuperación de información semiasistida

Acceder

« Previous 87 88 89 90 91 92 93 94 95 Next »