Refine your Search
Author
Subject
Document Type
1-8 from 8 results
(0.014 seconds)
-
Title: Towards scaling up DynAlloy analysis using predicate abstractionAuthor: Ariño, Rodrigo / Degiovanni, Renzo / Fervari, Raul / Ponzio, Pablo Daniel / Aguirre, Nazareno MatíasLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Software / Automation / Program analysis
-
Title: FUN: una herramienta didáctica para la derivación de programas funcionalesAuthor: Acosta, Araceli / Cherini, Renato / Gadea, Alejandro / Gunther, Emmanuel / Losano, Leticia / Pagano, MiguelLanguage: EspañolRepository: 37
-
Title: Software matemático : Un proyecto con alumnos de nivel medioAuthor: Caraballo, Horacio / González, Cecilia ZulemaLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Educación / Computer Uses in Education / Matemática / Learning / Software / articulación / software / instructivos / recursos didácticos
-
Title: Procesando códigos en ProcessingLanguage: EspañolRepository: 37Subject: Educación / Ciencias Informáticas / Software / programación / enseñanza secundaria / razonamiento lógico / simulación / código / software libre / situaciones lúdicas / escuela media / aprendizaje / enseñanza
-
Title: Modelo dinámico de simulación para la gestión de proyectos de software desarrollados con XPAuthor: Godoy, Diego Alberto / Kasiak, TamaraLanguage: EspañolRepository: 37
-
Title: Entorno web para la enseñanza del Método de Programación LinealLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / Programación Lineal / educación / Software / Hipertexto / tecnología / informática / WWW / Tutorial / Software Educativo / Aprendizaje asistido por computadora
-
Title: Verificación formal y refinamientos en P/PMLAuthor: Díaz, Javier RobertoLanguage: 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
« Previous
1
Next »
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