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 Year: 2006

Sort by Score Title Year -

21-25 from 25 results (0.015 seconds)

Title: Una herramienta de soporte al proceso de desarrollo dirigido por modelos (MDD)
Author: Cuaderno, Lucas / Di Lorenzo, Ezequiel / Gaig, Agustín / Garcia, Carlos Diego / Giandini, Roxana Silvia / Ocaranza, Luciana / Pinasco, Claudia Marina / Pons, Claudia / Salvatierra, Facundo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Models / desarrollo dirigido por modelos (MDD) / Software / arquitectura dirigida por modelos (MDA) / Languages / lenguaje unificado de modelado (UML) / lenguaje de especificación formal para objetos (OCL)

Acceder
Title: A comparative analysis of adaptive middleware architectures based on computational reflection and aspect oriented programming to support mobile computing applications
Author: Costa, Celso Maciel da / Strzykalski, Marcelo da Silva / Bernard, Guy
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / middleware architectures / computational reflection / aspect oriented programming / Cellular architecture (e.g., mobile) / Software

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

« Previous 1 2 3 Next »