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 Repository: 65 Language: in Year: 2010

Sort by Score Title Year -

1-2 from 2 results (0.009 seconds)

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

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 »