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

Sort by Score Title Year -

1-10 from 12 results (0.022 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: 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: 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
Title: Towards a UML profile for modeling WAP applications
Author: Soto De Giogis, Ricardo / Cámara Joui, Mauricio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / metamodels / profiles / SOFTWARE ENGINEERING

AccederDescargar
Title: Computing support for problem solving in virtual communities of practice
Author: Casalini, María Clara / Estévez, Elsa Clara / Janowski, Tomasz
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Data warehouse and repository / Semantics / Requirements/Specifications

AccederDescargar

« Previous 1 2 Next »