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 Document Type: Sin Especificar Repository: 65

Sort by Score Title Year -

81-90 from 104 results (0.011 seconds)

Title: Autorización de Acceso en MIDP 3.0
Language: Español
Repository: 65
Subject: Dispositivos Móviles Interactivos / MIDP / Especificación y Verificación Formal / Teoría de Tipos / Coq

Acceder
Title: Quehacer y vivencias de los psicólogos que se desempeñan en los CECAP como educadores referentes
Language: Español
Repository: 65
Subject: PSICOLOGOS / EDUCACION NO FORMAL

Acceder
Title: Systematic literatura review of PSP adaptations
Language: in
Repository: 65
Subject: Systematic Review / Personal Software Process / Formal methods

Acceder
Title: Reasoning about functional programs by combining interactive and automatic proofs
Language: Inglés
Repository: 65
Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory

Acceder
Title: Hfusion : a fusion tool based on acid rain plus extensions
Language: Inglés
Repository: 65
Subject: Deforestation / Acid Rain / Fusion / Hylomorphism / Paramorphism / Functional Programming Languages / Generic Programming

Acceder
Title: A confluent calculus of macro expansion and evaluation
Language: in
Repository: 65
Subject: Macros / Explicit Substitutions / Rewriting Semantics / Programming Languages / Substituciones Explícitas / Lenguajes de Programación / Semántica

Acceder
Title: UML 2.0 interactions with OCL/RT constraints
Language: Inglés
Repository: 65
Subject: Behavioral specification / Real-time systems / Unified Modeling Language / UML

Acceder
Title: On UML statechart with variabilities
Language: Inglés
Repository: 65
Subject: Máquinas de estado UML / Semántica formal / Modelado formal de variedades / Máquinas de estado con variabilidades / Líneas de productos de software

Acceder
Title: Institution-based semantics for MOF and QVT-relations :Extended version
Language: in
Repository: 65
Subject: MOF / QVT-relations / Semántica formal / Teoría de instituciones / Verificación formal

Acceder
Title: Heterogeneous verification of model transformations
Language: Inglés
Repository: 65
Subject: Ingeniería Dirigida por Modelos / Verificación / Métodos formales / Teoría de Instituciones / MOF / QVT-Relations / Heterogeneous Tool Set / Model-Driven engineering / Formal methods / Theory of institutions

Acceder

« Previous 3 4 5 6 7 8 9 10 11 Next »