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: Verification

Sort by Score Title Year -

1-10 from 24 results (0.01 seconds)

Title: Informe de Proyecto de Grado para optar por el título de Ingeniero Electrónico
Author: Amaya Tejera, Nazhir Jesús
Language: Español
Repository: 57
Subject: HAR’D Snow / Verificación / Validación / Pruebas / Soluciones Tecnológicas / HAR'D Snow / Verification / Validation / Testing / Technology Solutions

Acceder
Title: A structure-from-motion pipeline for topographic reconstructions using unmanned aerial vehicles and open source software
Author: Meza J. / Marrugo A.G. / Sierra E. / Guerrero M. / Meneses J. / Romero L.A.
Language: Inglés
Repository: 61
Subject: Geomatics / Open source software / Structure from motion / Antennas / Cameras / Cost effectiveness / Object recognition / Open systems / Optical radar / Photogrammetry / Pipelines / Remote sensing / Repair / Rock mechanics / Surveying / Tracking radar / Unmanned aerial vehicles (UAV) / Verification / Co-ordinate system / Computer vision techniques / Digital elevation model / Experimental verification / Ground control points / Topographic reconstruction
Title: A Demonstration of compilability for UML template instances
Author: Farinha, José
Language: Inglés
Repository: 73
Subject: UML / Templates / Verification / Compilability / Activities / Generic programming / Software patterns

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: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder
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: Reuso orientado a servicios
Author: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / Cors, Israel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ingeniería de software basada en reuso / Web-based services / Software quality assurance (SQA) / software orientado a servicios / Verification / Validation

Acceder
Title: A semi-automatic verification tool for software requirements specification documents
Author: Konig, Fabio / Ballejos, Luciana C. / Ale, Mariel Alejandra
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Quality Models / Requirements/Specifications / Verification

AccederDescargar
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

« Previous 1 2 3 Next »