OPAC

Your search

Query: FORMAL LANGUAGES Repository: 65 Document Type: Sin Especificar

Sort by Score Title Year -

11-20 from 104 results (0.02 seconds)

Title: Una semántica formal de primitivas de modificación de estados de sistemas orientados a objetos.
Language: Español
Repository: 65
Subject: OBJECT ORIENTED SYSTEMS / PRIMITIVAS DE MODIFICACION DE ESTADOS

Acceder
Title: Demencia y cuidados : estudio sobre la figura del cuidador formal y la incidencia del estigma de la demencia sobre las condiciones laborales
Language: Español
Repository: 65
Subject: DEMENCIA / CALIDAD DE VIDA / ENFERMEDAD DE ALZHEIMER / CONDICIONES DE TRABAJO

Acceder
Title: Hacia una especificación formal de un microcontrolador usado en marcapasos
Language: Español
Repository: 65
Subject: Microcontroladores (PICs) / Especificaciones Formales / Coq

Acceder
Title: Formal analysis of security models for mobile devices, virtualization platforms and domain name systems
Language: Inglés
Repository: 65
Subject: Modelos formales / Prioridades de seguridad / Asistente de pruebas Coq / JME-MIDP / Virtualización / DNSSEC

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

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

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search