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 Language: Inglés

Sort by Score Title Year -

1-10 from 11 results (0.011 seconds)

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: 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: 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: 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: Verification of Structured Processes: A Method Based on an Unsoundness Profile
Author: Roa, Jorge / Chiotti, Omar Juan Alfredo / Villarreal, Pablo David
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / business process / soundness / correctness properties / Verification

AccederDescargar
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: Ionizing radiation measurement solution in a hospital environment
Author: García Sánchez, Antonio Javier / García Angosto, Enrique Ángel / Moreno Riquelme, Pedro Antonio / Serna Berna, Alfredo / Ramos Amores, David
Language: Inglés
Repository: 72
Subject: Gamma radiation / Healthcare workers safety / Dosimetry solution / Verification / Evaluation / Ingeniería Telemática / 3201.11 Radiología

Acceder

« Previous 1 2 Next »