Refine your Search
Author
Subject
Year
71-80 from 792 results
(0.021 seconds)
-
Title: Una herramienta de soporte al proceso de desarrollo dirigido por modelos (MDD)Author: Cuaderno, Lucas / Di Lorenzo, Ezequiel / Gaig, Agustín / Garcia, Carlos Diego / Giandini, Roxana Silvia / Ocaranza, Luciana / Pinasco, Claudia Marina / Pons, Claudia / Salvatierra, FacundoLanguage: EspañolRepository: 37
-
Title: Verificando diseños BON mediante AlloyAuthor: Castro, Pablo Francisco / Ponzio, Pablo Daniel / Demasi, Ramiro Adrián / Baum, Gabriel AlfredoLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Formal methods / Object-oriented languages
-
Title: Incorporando Alloy en desarrollos basados en metodologías agilesLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Alloy / Languages / metodologías ágiles / Formal methods
-
Title: Análisis modular y recuperación de contraejemplos en TACOLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Software/Program Verification / Languages
-
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: Uso de la gramática distributiva en la ingeniería de requisitosAuthor: Dasso, Aristides / Funes, AnaLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / gramática distributiva / Languages / lenguaje natural
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723