OPAC

Your search

Subject: Software Program Verification Document Type: Sin Especificar Year: 2012 Year: 2006

Sort by Score Title Year -

1-10 from 16 results (0.015 seconds)

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: Experiencia de evaluación de Software Libre por docentes informáticos : Caso de uso con Lihuen GNU/Linux
Author: Díaz, Francisco Javier / Banchoff Tzancoff, Claudia M. / Harari, Ivana / Harari, Viviana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / software libre / Software / GNU/Linux / GNU/Linex / Lihuen / testeo de usabilidad

Acceder
Title: Simulaciones con mayor realismo en óptica geométrica
Author: Kofman, Hugo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / óptica / rayos no paraxiales / Simulation / aberraciones en imágenes / Geometric / Software / non-paraxial rays / image aberrations

Acceder
Title: Understanding the future of global software production : Investigating the network in India
Author: Bharati, Pratyush
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / industria de la información

Acceder
Title: Error simulation in a maturity environment for software engineering teaching
Author: Begosso, Luiz Carlos / Begosso, Luiz Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Educación Superior / Software / Simulation

Acceder
Title: Teaching modern heuristics in combinatorial optimization : The example of a demonstration and research tool employing metaheuristics in scheduling
Author: Geiger, Martin Josef
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Heuristic methods / Software / Scheduling / Optimization

Acceder
Title: An e-learning application based on the semantic web technology
Author: Gradinarova, Boyka / Gradinarova, Milena / Zhelezov, Ognjan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Software / Semantics / Languages / e-learning / Java Web Services

Acceder
Title: Use of morphisms as a tool to help learning object oriented concepts
Author: Friss de Kereki, Inés / Crespo, José / Azpiazu, Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Software / Design / morphisms / software design / object-oriented concepts

Acceder

« Previous 1 2 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search