OPAC

Your search

Query: FORMAL LANGUAGES Language: in

Sort by Score Title Year -

1-9 from 9 results (0.026 seconds)

Title: A formal specification of the MIDP 2.0 security model
Language: in
Repository: 65
Subject: Calculus of Inductive Constructions / Formal specification / MIDP 2.0 / Security / Coq

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: 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: Systematic literatura review of PSP adaptations
Language: in
Repository: 65
Subject: Systematic Review / Personal Software Process / Formal methods

Acceder
Title: An approach to subroutine elimination
Language: in
Repository: 65
Subject: BYTE CODE VERIFIERS / SUBROUTINES / JAVA CARD / CQQ / FORMAL PROOFS

Acceder
Title: Behavioral refinements of UML-statecharts
Language: in
Repository: 65
Subject: Statecharts / UML / Formal semantics / Software product lines / Variability / Behavioral refinement

Acceder
Title: The complexity of the K-reliability in networks constrained to diameter two
Language: in
Repository: 65
Subject: Network reliability / Survivability / Diameter constraints / Combinatorial problems / Computational complexity / Formal Verification

Acceder
Title: A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
Language: in
Repository: 65
Subject: Java Micro Edition / Calculus of Inductive Constructions / Information Integrity

Acceder
Title: Representation of metamodels using inductive types in a type-theoretic framework for MDE
Language: in
Repository: 65
Subject: Model-Driven Engineering / Model Transformations / Correctness / Constructive Type Theory

Acceder

« Previous 1 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search