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
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
73
(10)
34
(1)
37
(1)
50
(1)
57
(1)
61
(1)
72
(1)
Show More
Show Less
Author
Ale, Mariel Alejandra
(1)
Aleixo, Francisco Faria
(1)
Aparicio, M.
(1)
Ballejos, Luciana C.
(1)
Costa, C. J.
(1)
Faustino, João Pedro Carvalho
(1)
Ferreira, Henrique Manuel da Costa Gomes
(1)
Folgosa, João David de Meira Coelho Mateus
(1)
Gallego Henao, Jhon Fredy
(1)
García Angosto, Enrique Ángel
(1)
Show More
Show Less
Subject
Software
(12)
Verification
(4)
Domínio/Área Científica::Ciências Sociais::Economia e Gestão
(3)
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
(3)
Desenvolvimento de software
(2)
Engenharia informática
(2)
M Business administration and business economics - Marketing - Accounting - Personnel economics
(2)
Photogrammetry
(2)
Startup
(2)
Trabalho de projeto
(2)
Show More
Show Less
Year
2018
(16)
2019
(7)
2017
(3)
2007
(1)
2016
(1)
2020
(1)
2021
(1)
Show More
Show Less
Document Type
Tesis
(8)
Artículo
(5)
Conferencia
(2)
Sin Especificar
(1)
Show More
Show Less
Language
Inglés
(16)
Show More
Show Less
Your search
Subject:
Software Program Verification
Language:
Inglés
Year:
2018
Sort by
Score
Title
Year
-
1-10 from
16
results
(0.013 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 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
Acceder
Descargar
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
Title:
A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols
Language:
Inglés
Repository:
34
Subject:
Authentication
/
Electric fault location
/
Mathematical models
/
Network protocols
/
Software engineering
/
Formal methods
/
Formal verification
/
Mobile security
/
Theorem proving
/
Verification
/
Replay attacks
/
Security protocols
/
Network security
/
Cryptographic protocols
/
Engineering practices
/
Fault localization
/
Inductive method
/
patching
/
Replay attack
/
State exploration
/
7 INGENIERÍA Y TECNOLOGÍA
Acceder
Title:
Focus for interactive systems design through the incorporation of user in the development process
Author:
Viloria Silva, Amelec Jesus
/
Lis Gutierrez, Jenny Paola
Language:
Inglés
Repository:
57
Subject:
Interactive systems design
/
Process models
/
Software
/
Usability
/
User incorporation process development
Acceder
Title:
Sistema de información de apoyo al area administrativa de la udec facatativá (siaaf) módulo super administrador.
Author:
Gallego Henao, Jhon Fredy
/
Ortiz Osorio, Miguel Ángel
Language:
Inglés
Repository:
50
Subject:
Sistema
/
Tecnología
/
Software
/
Laravel
/
Marco de trabajo
/
Administrador
/
System
/
Technology
/
Framework
/
Administrator
Acceder
Title:
Benchmarking of software production costs: results and recommendations
Author:
Pereira, L.
/
Teixeira, C.
Language:
Inglés
Repository:
73
Subject:
Benchmarking
/
Function Points
/
Project Portfolio Requirements
/
Business Analysis
/
Costs
/
Software
/
Processes
Acceder
Title:
ProLaw: ethical software aid for legal professionals
Author:
Silva, André Tadeu Reis e
Language:
Inglés
Repository:
73
Subject:
Law
/
SaaS
/
Legal tech
/
Technological innovation
/
Startup
/
Inovação tecnológica
/
Direito
/
Software
/
Plano de negócio
/
Trabalho de projeto
/
Domínio/Área Científica::Ciências Sociais::Economia e Gestão
/
M13
/
O32
/
M Business administration and business economics - Marketing - Accounting - Personnel economics
/
O Economic development, innovation, technological change, and growth
Acceder
Title:
Type relationship graphs for exploring APIs
Author:
Ferreira, Henrique Manuel da Costa Gomes
Language:
Inglés
Repository:
73
Subject:
Engenharia da programação
/
Modelos de linguagem
/
Modelos gráficos
/
Análise estrutural
/
Software
/
Aplicação informática
/
API Usability
/
Code completion
/
IDE
/
Structural analysis
/
Usabilidade API
/
Sugestões de código
/
Domínio/Área Científica::Engenharia e Tecnologia
Acceder
Title:
Application for photogrammetry of organisms
Author:
Aleixo, Francisco Faria
Language:
Inglés
Repository:
73
Subject:
Photogrammetry
/
Morphometry
/
Software
/
Biology
/
Measurement
/
Photography
/
Application
/
Engenharia informática
/
Desenvolvimento de software
/
Biologia
/
Fotogrametria
/
Medição
/
2D
/
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Acceder
« Previous
1
2
Next »