Refine your Search
Author
Subject
Year
Document Type
Your search
1-10 from 39 results
(0.026 seconds)
-
Title: Verificación formal y refinamientos en P/PMLAuthor: Díaz, Javier RobertoLanguage: EspañolRepository: 37
-
Title: Una herramienta para verificación formal de especificaciones gráficas orientadas a objetosAuthor: Cengia, Javier AndrésLanguage: EspañolRepository: 37
-
Title: Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de softwareAuthor: Montejano, Germán Antonio / Testa, Oscar / Garcia, Pablo / Bast, Silvia Gabriela / Berón, MarioLanguage: EspañolRepository: 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: Um software para auxílio a aprendizagem de linguagens regularesAuthor: Raabe, André Luís Alice / Dognini, Marlon JoséLanguage: PortuguésRepository: 37Subject: Ciencias Informáticas / Software / tecnología / informática / Environments / educación / Languages / Education / Ambientes Interativos de Aprendizagem / Linguagens Regulares / Linguagens Formais / Software Educacional / Interactive Learning Environments / Regular Languages / Educational Software
-
Title: Metamodeling or profiling: a practical case in the web engineering domainAuthor: Navarro, Antonio / Cortés, HumbertoLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Software / Model Development / Languages
-
Title: Evaluación de herramientas para la construcción de aplicaciones colaborativasLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Informática / Software / redes de datos / PROGRAMMING LANGUAGES / internet / Neural nets
-
Title: Desarrollo multiparadigmaAuthor: Amaro, Silvia / Quiroga, Pablo / Reynoso, Luis A. / Vaucheret, Claudio A. / López, Lidia Marina / Dolz, Daniel / Granados, Andrea / Godoy, Ingrid / Sánchez, Viviana / Klemen, Maximiliano / Pérez, PaolaLanguage: EspañolRepository: 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