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
(8)
37
(2)
57
(1)
61
(1)
Show More
Show Less
Author
Aguilera-Mendoza, L.
(1)
Aleixo, Francisco Faria
(1)
Aparicio, M.
(1)
Barigye, S.J.
(1)
Chiotti, Omar Juan Alfredo
(1)
Costa, C. J.
(1)
Faustino, João Pedro Carvalho
(1)
Folgosa, João David de Meira Coelho Mateus
(1)
Giovambattista, Guillermo
(1)
Lis Gutierrez, Jenny Paola
(1)
Show More
Show Less
Subject
Software
(11)
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)
Portugal
(2)
Startup
(2)
Trabalho de projeto
(2)
2D
(1)
Show More
Show Less
Year
2019
(12)
2018
(7)
2013
(2)
2016
(2)
2015
(1)
2021
(1)
Show More
Show Less
Document Type
Tesis
(6)
Artículo
(5)
Sin Especificar
(1)
Show More
Show Less
Language
Inglés
(12)
Show More
Show Less
Your search
Subject:
Software Program Verification
Year:
2019
Language:
Inglés
Sort by
Score
Title
Year
-
11-12 from
12
results
(0.013 seconds)
Title:
DevOps practices in incident management process
Author:
Faustino, João Pedro Carvalho
Language:
Inglés
Repository:
73
Subject:
DevOps
/
Incident management
/
Application management
/
ITSM
/
Tecnologia da informação
/
Software
/
Gestão de sistemas de informação
/
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
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
Acceder
Descargar
« Previous
1
2
Next »