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 Repository: 37 Year: 2015

Sort by Score Title Year -

1-3 from 3 results (0.01 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: 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
Title: Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
Author: Rosenfeld, Ilan
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Modeling techniques / Alloy / desarrollo de software dirigido por modelos / Software / pruebas de software dirigidas por modelos / traducción de código / UML

Acceder

« Previous 1 Next »