OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Year: 2005 Language: Español Subject: Software Program Verification Document Type: Sin Especificar

Sort by Score Title Year -

1-10 from 18 results (0.014 seconds)

Title: Verificación de propiedades temporales de diseños community: un caso de estudio
Author: Aguirre, Nazareno Matías / Regis, Germán
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Temporal logic / Design languages / Verification

Acceder
Title: Hacia la composición paralela de programas en DynAlloy
Author: Aguirre, Nazareno Matías / Novaira, Maria Marta / Permigiani, Sonia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de Programación / Formal methods / lenguaje de especificaciones / Verification / validación de propiedades / operador para composición paralela / Validation

Acceder
Title: Primeras experiencias en detección de plagio en el ambiente educativo
Author: Bordignon, Fernando Raúl Alfredo / Tolosa, Gabriel Hernán / Rodríguez, Carlos G. / Peri, Jorge Alberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Software / Plagio / Computer Uses in Education / plagio / detección de texto similar / redacción / software institucional

Acceder
Title: Las TICs aplicadas al nivel universitario: compartiendo experiencias
Author: Paur, Alicia Beatriz / Rosanigo, Zulema Beatriz / Bramati, Pedro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / software educativo / Learning / TICs / Computer Uses in Education / Software / tutorial / entrenador / multimedia / diseño y desarrollo de software educativo

Acceder
Title: Ventajas del software libre en las escuelas : Casos de estudio
Author: Díaz, Francisco Javier / Harari, Viviana / Banchoff Tzancoff, Claudia M.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Software / Computer Uses in Education / Freeware/shareware / software libre / software propietario / software educativo

Acceder
Title: Software para la generación de variables aleatorias empleadas en simulación
Author: López, María Victoria
Language: Español
Repository: 37
Subject: Ciencias Informáticas / generación de variables aleatorias / Software / Simulation / Education

Acceder
Title: El software educativo en la enseñanza y aprendizaje de la matemática: fortalezas, oportunidades, debilidades y amenazas
Author: Pochulu, Marcel David / Abrate, Raquel Susana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / universidad / Software / software matemático / matemáticas / Learning / fortalezas / debilidades / oportunidades / amenazas

Acceder
Title: Planteamiento y resultados iniciales de un experimento sobre el uso de un software educativo en la asignatura de farmacología veterinaria
Author: Benítez Oliva, Juan Carlos / Ramayo Caldas, Yuliaxis / Fuentes Claro, Maikel / Guerrero Proenza, Rey Segundo / Sotto Agüero, Victor Ramon
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / universidad / Software / experiencia / cálculo de dosis / Learning

Acceder
Title: Aplicación para la docencia en ingeniería:cálculo de sistemas de alimentación de fundición : Fundisa 1.0
Author: Boronat Vitoria, Teodomiro / Pérez Bernabeu, Elena / Sellés Cantó, Miguel Ángel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / Software / universidad / Multimedia / fundición / software educativo / docencia

Acceder
Title: Hacia la validación de arquitecturas de software usando Alloy
Author: Novaira, Maria Marta / Permigiani, Sonia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / SOFTWARE ENGINEERING / arquitectura / Validación / Software / arquitectura de software

Acceder

« Previous 1 2 Next »