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 Language: Inglés Document Type: Artículo

Sort by Score Title Year -

1-10 from 89 results (0.043 seconds)

Title: A formal foundation for transformations in model driven engineering
Author: Giandini, Roxana Silvia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ingeniería dirigida por modelos / model driven engineering

AccederDescargar
Title: Applying MDE tools to defining domain specific languages for model management
Author: Pérez, Gabriela Alejandra / Irazábal, Jerónimo / Pons, Claudia / Giandini, Roxana Silvia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model driven development / DSL / Domain specific language / Domain specific language for model management

Acceder
Title: Analysis of suitable languages to teach Procedural Programming at the Universidad Nacional del Noroeste de la provincia de Buenos Aires
Author: Osella Massa, Germán Leandro / Russo, Claudia Cecilia / Sarobe, Mónica / Pompei, Sabrina
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de Programación / Metodologias Computacionales / Enseñanza

AccederDescargar
Title: ECOLE: a pedagogical environment for non procedural languages
Author: Zegour, D. E. / Hidouci, W. K.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Logic Programming / Frames and scripts

AccederDescargar
Title: A Formal Structure of Separation of Duty and Trust in Modelling Delegation Policy
Author: Ogundele, Oloruntoba Samuel / Adewale, O. S. / Alese, B. K. / Falaki, S. O.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Seguridad Computacional

AccederDescargar
Title: Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol
Author: Saraireh, Ja'afer M. al / Saraireh, Saleh S. / Saraireh, Mohammad S. / Nabhan, Mohammad M. al
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Authentication / 3G / Security / mobile station

AccederDescargar
Title: A Lightweight Approach for the Semantic Validation of Model Refinements
Author: Pons, Claudia / García, Diego
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / model checking / model transformation / modeling / MOF / Object Constraint Language / OCL / refinement / testing / UML / validation

Acceder
Title: A Reference Architecture for Ontology Engineering Web Environments / Una arquitectura de referencia para ambientes web de ingeniería ontológica
Author: Braun, Germán / Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ontology engineering / software architectures / ingeniería ontológica / arquitecturas de software

Acceder
Title: Using business process reengineering to obtain a RAISE specification
Author: Riesco, Daniel Eduardo / Uzal, Roberto / Montejano, Germán Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal method / Languages / Reengineering

AccederDescargar
Title: Verifying BON models with alloy
Author: Demasi, Ramiro Adrián / Ponzio, Pablo Daniel / Castro, Pablo Francisco / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / formal methods / object oriented languages / architectural models

AccederDescargar

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