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

Subject: Semantics of Programming Languages Repository: 37 Year: 2011 Language: Español

Sort by Score Title Year -

1-10 from 13 results (0.013 seconds)

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: Algunas consideraciones para la transformación de Semántica de Negocios SBVR en el Lenguaje de Ontologías Web OWL2
Author: Amaolo, Marcelo Paulo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Semantics / empresa / Languages / conocimiento / tecnologías semánticas / lenguajes de ontologías / especificación OMG SBVR

Acceder
Title: El marcado de un árbol dialéctico en DeLP es pspace-completo
Author: Cecchi, Laura / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Semantics / sistemas argumentativos / razonamiento rebatible / complejidad

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: Un metalenguaje de programación orientado al diseño de interfaces gráficas
Author: Santana, Carlos Ariel / Coni, Cintia Vanesa
Language: Español
Repository: 37
Subject: Ciencias Informáticas / arquitectura dirigida por modelos / Languages / transformaciones de modelos / interfaz de usuario

Acceder
Title: Especificación e implementación de transformaciones de modelos de software aplicando estándares
Author: Simoncini, Germán / García, Luciano
Language: Español
Repository: 37
Subject: Ciencias Informáticas / MDD / Languages / lenguajes de transformación / repositorio de transformaciones / plataforma Eclipse / Java / frameworks

Acceder
Title: Diseño y construcción de lenguajes específicos del dominio
Author: Luzza, Mariano / Berón, Mario / Montejano, Germán Antonio / Henriques, Pedro Rangel / Pereira, María J.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Lenguaje Específico del Dominio / Compiladores / Languages / Generador de Compiladores

Acceder
Title: Modelo de desarrollo de interfaces en lenguaje funcional
Author: Albornoz, María Claudia / Necco, Claudia Mónica / Montejano, Germán Antonio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Interfaz Gráfica de Usuario (Graphic User Interfaz: GUI) / SOFTWARE ENGINEERING / programación funcional / Languages / lenguaje funcional Haskell / librerías Gtk2hs y wxHaskell

Acceder
Title: Lenguajes específicos y herramientas de soporte al modelado de procesos del negocio en el contexto del desarrollo dirigido por modelos
Author: Giandini, Roxana Silvia / Pandolfo, P. / Radic, A. / Imparato, Carlos
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / Ingeniería de Software / Languages / Desarrollo Dirigido por Modelos / Lenguajes de modelado / Modelado de Procesos de Negocio / Refactorización / Herramientas CASE

Acceder
Title: Transformaciones de modelos: yendo de UML a un DSL y viceversa : El caso de FlexAB
Author: Mancino, Diego / Andrade, Francisco
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Languages / Modeling techniques / desarrollo de software / lenguaje de modelado FlexAB

Acceder

« Previous 1 2 Next »