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

Sort by Score Title Year -

1-10 from 17 results (0.015 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: 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: Properties for a formal model of collaborative dialogue
Author: Marcos, Julieta / Falappa, Marcelo Alejandro / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Multiagent systems / Formal models

Acceder
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: 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
Title: Temporal validation of extended workflow processes by means Petri Nets with Clocks
Author: Riesco, Daniel Eduardo / Vilallonga, Gabriel Domingo / Montejano, Germán Antonio / Uzal, Roberto / Welch, Daniel / Gallina, Sergio Hilario
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Workflow management / Business / Petri nets / Languages

Acceder
Title: A pattern language to join early and late requirements
Author: Martínez, Alicia / Pastor López, Oscar / Estrada, Hugo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Programming Languages and Software / Patterns / Design

AccederDescargar
Title: The use of UML activity diagrams and the i* language in the modeling of the balanced scorecard implantation process
Author: Haya, Mariela / Franch, Xavier / Mayol, Enric
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / goal-oriented languages

AccederDescargar
Title: Using Exception Handling to Build Opaque Predicates in Intermediate Code Obfuscation Techniques
Author: Dolz, Daniel / Parra, Gerardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / obfuscation / opaque predicates

AccederDescargar
Title: Simulation framework for teaching in modeling and simulation areas
Author: De Giusti, Marisa Raquel / Lira, Ariel Jorge / Villarreal, Gonzalo Luján
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Análisis estadistico / Simulación y modelos / Informática / discrete event simulation / storing runs / statistical analysis / simulation teaching

AccederAcceder

« Previous 1 2 Next »