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: Alloy Document Type: Sin Especificar Language: Español

Sort by Score Title Year -

1-4 from 4 results (0.009 seconds)

Title: Incorporando Alloy en desarrollos basados en metodologías agiles
Author: Bonino, María Belén / Garis, Ana Gabriela / Riesco, Daniel Eduardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Alloy / Languages / metodologías ágiles / Formal methods

Acceder
Title: Verificación en Alloy de modelos y metamodelos específicos del dominio
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Alloy / Languages / DSL / verificación

Acceder
Title: Validación y verificación con Alloy de ontologías en OWL que unifican modelos de datos heterogéneos
Author: Accattoli, Mario Luis / Garis, Ana Gabriela / Riesco, Daniel Eduardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Ontologías / OWL / Alloy / Verificación y validación de modelos / Datos Poder Judicial

Acceder
Title: Especificación formal de lenguajes específicos del dominio utilizando Alloy
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de Programación / Alloy / DSL / UML

Acceder

« Previous 1 Next »