OPAC

Your search

Query: FORMAL LANGUAGES Year: 2014 Repository: 65 Language: Inglés

Sort by Score Title Year -

1-10 from 10 results (0.012 seconds)

Title: Social security schemes and labor supply in the formal and informal sectors
Language: Inglés
Repository: 65
Subject: SEGURIDAD SOCIAL / SOCIAL SECURITY / SISTEMAS DE PREVISION SOCIAL / BENEFIT PLANS / SECTOR INFORMAL / INFORMAL SECTOR

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: 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: 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: Towards secure distributed computations
Language: Inglés
Repository: 65
Subject: COMPUTACION DISTRIBUIDA / TYPE SAFE / ABSTRATION SAFETY / ALGORITMO DE CERTIFICACION / PCR / MARSHALLING

Acceder
Title: The Reflex Sandbox : an experimentation environment for an aspect-oriented Kernel
Language: Inglés
Repository: 65
Subject: REFLEXION / REFLEXION PARCIAL / PROGRAMACION ORIENTADA A ASPECTOS

Acceder
Title: First class syntax, semantics and their composition
Language: Inglés
Repository: 65
Subject: Gramática de primera clase / Semántica de primera clase / Gramáticas de atributos / Construcción de compiladores / Lenguajes extensibles, Haskell

Acceder
Title: Formalizing alternating-time temporal logic in the coq proof assistant
Language: Inglés
Repository: 65
Subject: Alternating-time temporal logic (ATL)

Acceder

« Previous 1 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search