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 Repository: 37 Language: Español Year: 2012

Sort by Score Title Year -

201-206 from 206 results (0.018 seconds)

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: Gestión del conocimiento en enfoques de desarrollo de software tradicional y agilista
Author: Labrin, Broderick Crawford
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Conocimiento / gestión / Requirements/Specifications / desarrollo ágil / elicitación de requerimientos

Acceder
Title: Neuro3d: software de reconstrucción tridimensional de neuronas
Author: Randall, Gregory / Fernandez, Alicia / Trujillo Cenoz, Omar / Malmierca, Francisco / Morelli, Pablo / Apelbaum, Gustavo / Bertalmío, Marcelo / Vázquez, Luis
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Reconstrucción Tridimensional de Neuronas / Software / Neuro3d / Parallel processing / Distributed

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: Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
Author: De Vito, María Cecilia / Osella Massa, Germán Leandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Distributed Systems / Model checking / Simulation / 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

« Previous 13 14 15 16 17 18 19 20 21 Next »