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 Year: 2011

Sort by Score Title Year -

1-10 from 20 results (0.015 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: Proceso de desarrollo de hardware de la empresa Bermit Ltda
Author: Comas Sánchez, Andrés
Language: Español
Repository: 57
Subject: Desarrollo tecnológico / Desarrollo de hardware / Desarrollo de programas para computadores / Programación / Technological development / Hardware development / Development of computer programs / Programming

Acceder
Title: "Era Maria vai com as outras, Maria de cozer, Maria de casar" : um estudo enunciativo sobre a designação genérica produzida a partir de nomes próprios
Author: Danusa Lopes Bertagnoli
Language: Portugués
Repository: 17
Subject: Análise do discurso / Língua portuguesa - Semântica / Linguística estrutural / Semantics / Enunciation / Genre studies / Proper name

Acceder
Title: Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
Author: Gómez, Sergio Alejandro / Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Semantics / web ontology language / OWL / semantic web ontologies / possibilistic defeasible logic programming

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: UML para modelagem de objetos de aprendizado
Author: Canto Filho, Alberto Bastos do / Ribas Semeler, Alexandre / Zednik Rodrigues, Herik / Tarouco, Liane Margarida Rockenbach
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / objetos de aprendizaje / Languages / Learning

Acceder
Title: Metamodeling or profiling: a practical case in the web engineering domain
Author: Navarro, Antonio / Cortés, Humberto
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Model Development / Languages

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

« Previous 1 2 Next »