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

Subject: Verificación Document Type: Sin Especificar

Sort by Score Title Year -

1-2 from 2 results (0.012 seconds)

Title: Inspecciones para mejorar la calidad de modelos en lenguaje natural
Author: Hadad, Graciela Dora Susana / Sebastián, Alberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Verificación / Inspecciones / Ingeniería de Requisitos / Modelos en Lenguaje Natural

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 1 Next »