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

Subject: Software Program Verification Year: 2012 Year: 2005 Repository: 37

Sort by Score Title Year -

11-20 from 20 results (0.017 seconds)

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: Classifying software requirement prioritization approaches
Author: Martínez Carod, Nadina / Cechich, Alejandra
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Requirements/Specifications / Engineering

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
Title: Sistemas distribuidos de tiempo real
Author: Ramón, Hugo Dionisio / Romero, Fernando / González, Alejandro Héctor / Novarini, Pablo / Estrebou, César Armando
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Real time / Tiempo Real / Software / Ingeniería de Software / Robotics / Dispositivos A/D / mini-Robots / RT-LINUX / QNX

Acceder
Title: Herramientas de libre distribución y su integración en el portal de conocimiento del Ministerio de Educación y Cultura de la provincia de Corrientes
Author: Mariño, Sonia Itatí / Godoy Guglielmone, María Viviana / Busso, Lorena E.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Corrientes (Argentina) / software libre / Software / portal de conocimiento / Database Administration

Acceder
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: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

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

« Previous 1 2 Next »