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: 2015 Repository: 37

Sort by Score Title Year -

21-27 from 27 results (0.013 seconds)

Title: Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
Author: Rosenfeld, Ilan
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Modeling techniques / Alloy / desarrollo de software dirigido por modelos / Software / pruebas de software dirigidas por modelos / traducción de código / UML

Acceder
Title: Perspectivas actuales sobre criterios de calidad para plataformas de e-learning
Author: Romero, Gilda R.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / calidad / Collaborative learning / e-learning / plataformas / Computer Uses in Education

Acceder
Title: Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
Author: Roa, Jorge / Chiotti, Omar Juan Alfredo / Villarreal, Pablo David
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / soundness / correctness properties / Verification

AccederDescargar
Title: Mejoras a un modelo léxico mediante mapas conceptuales
Author: Sebastián, Alberto / Hadad, Graciela Dora Susana
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Requirements/Specifications / léxico extendido del lenguaje / Verification

Acceder
Title: Verification and validation of domain specific languages using Alloy
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / domain specific language (DSL) / Verification / Validation

Acceder
Title: Aplicación y valoración de la verificación y validación de software: una encuesta realizada en Buenos Aires
Author: De Greca, Francisco / Rossi, Bibiana D. / Robiolo, Gabriela / Travassos, Guilherme Horta
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Verification / Validation / testing

AccederDescargar
Title: Contribuciones a la verificación funcional moderna
Author: Goñi, Oscar Enrique
Language: Español
Repository: 37
Subject: Ciencias Informáticas / punto flotante / Verification / Computer arithmetic / análisis de resolución / HIL / Simulation / HDL

Acceder

« Previous 1 2 3 Next »