Refine your Search
Author
Subject
Year
Document Type
Your search
1-10 from 151 results
(0.015 seconds)
-
Title: Formal foundations for the unified modeling languageAuthor: Funes, Ana / Dasso, Aristides / Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, RobertoLanguage: InglésRepository: 37
-
Title: Building domain specific languages upon the dbject constraint language (DCl)Author: Domínguez Iglesias, AntonioLanguage: InglésRepository: 37
-
Title: From boxes to worldsAuthor: Hirsch, Dan Francisco / Areces, Carlos EduardoLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Software Design / Graphic Languages / Modal Logics / Formal Verification / Languages / Software
-
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: 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: 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