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 Document Type: Sin Especificar Year: 2012

Sort by Score Title Year -

1-10 from 249 results (0.021 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: Practical verification strategy for refinement conditions in UML models
Author: Pons, Claudia / García, Diego
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / UML models / Verification / Language models

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: Model checking RAISE applicative specifications
Author: Perna, Juan I. / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model checking / Formal methods / 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
Title: Implementación de una auditoria general en la secretaria de hacienda de Sabanagrande
Author: De La Hoz Valdiris, Ethel María / Pauth Palacios, Jair Alexander
Language: Español
Repository: 57
Subject: Auditoria / Procesos / Software / Hardware / Analisis de vulnerabilidad / Audit / Processes / vulnerability analysis

Acceder
Title: Software para la gestión de la autoevaluación para el proceso de acreditación de los programas académicos de la Corporación Universitaria de la Costa
Author: Combita Niño, Harold Arturo / Gutiérrez Molina, Luis David
Language: Español
Repository: 57
Subject: Software / Proceso de autoevaluación / Self-evaluation process / Página web / Web page / Servicio / Service / Población académica / Academic population

Acceder
Title: Understanding the topologies of innovation networks in knowledge-intensive sectors
Author: Salavisa, I. / Sousa, C. / Fontes, M.
Language: Inglés
Repository: 73
Subject: Innovation network / Social network / Formal network / Informal network / Knowledge-intensive sector / Biotechnology / Software

Acceder
Title: Manejo de Datos Adaptativos: MAD
Author: Gilman, Marcelo / Repetto, Alejandro Juan Manuel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Management / Data / Distributed Systems

Acceder

« Previous 1 2 3 4 5 6 7 8 9 Next »