Refine your Search
Author
Subject
Year
Document Type
1-10 from 114 results
(0.012 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: Análisis modular y recuperación de contraejemplos en TACOLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Software/Program Verification / Languages
-
Title: Vinculación de un curso interactivo multimedial con un lenguaje visual para ejecución y animación de algoritmosAuthor: De Giusti, Armando Eduardo / Madoz, María Cristina / Gorga, Gladys / Bertone, Rodolfo Alfredo / Champredonde, RaúlLanguage: EspañolRepository: 37
-
Title: Implementing a typed assembly language and its machine modelAuthor: Medel, Ricardo / Lucotte, MatthieuLanguage: InglésRepository: 37
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