Refine your Search
Author
Subject
Document Type
Your search
1-7 from 7 results
(0.014 seconds)
-
Title: Incorporando Alloy en desarrollos basados en metodologías agilesLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Alloy / Languages / metodologías ágiles / Formal methods
-
Title: Verificación en Alloy de modelos y metamodelos específicos del dominioAuthor: Garis, Ana Gabriela / Sanchez, AlejandroLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Alloy / Languages / DSL / verificación
-
Title: Validación y verificación con Alloy de ontologías en OWL que unifican modelos de datos heterogéneosLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Ontologías / OWL / Alloy / Verificación y validación de modelos / Datos Poder Judicial
-
Title: Especificación formal de lenguajes específicos del dominio utilizando AlloyAuthor: Garis, Ana Gabriela / Sanchez, AlejandroLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Lenguajes de Programación / Alloy / DSL / UML
-
Title: Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCLAuthor: Rosenfeld, IlanLanguage: EspañolRepository: 37
-
Title: A cidade social. Impasse. Desenvolvimento. FragmentoAuthor: Carvalho, RicardoLanguage: EspañolRepository: 72Subject: Ciudad social / Barrio / Forma urbana / Habitat / Vivienda / Time / Field / Even / Alloy / Transformation
-
Title: Plan de despliegue y proliferaciónAuthor: Paredes Maldonado, MiguelLanguage: EspañolRepository: 72Subject: Tiempo / Campo / Eventos / Aleaciones / Trasformación / Time / Field / Event / Alloy / Transformation
« Previous
1
Next »
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723