Refine your Search
Author
Subject
Year
Document Type
Your search
161-170 from 1773 results
(0.014 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: Using business process reengineering to obtain a RAISE specificationLanguage: InglésRepository: 37Subject: Ciencias Informáticas / formal method / Languages / Reengineering
-
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: Verifying BON models with alloyAuthor: Demasi, Ramiro Adrián / Ponzio, Pablo Daniel / Castro, Pablo Francisco / Baum, Gabriel AlfredoLanguage: InglésRepository: 37
-
Title: Análisis modular y recuperación de contraejemplos en TACOLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Software/Program Verification / Languages
-
Title: OOHQL: un lenguaje de consulta sobre aplicaciones hipermediales orientadas a objetosAuthor: Arambarri, Federico / Sansano, MauricioLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Object-oriented programming / Languages
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