Login / Signup
A Experiência de Melhoria do Processo do Instituto Atlântico Baseado no SW-CMM nível 2.
Carlo Giovano S. Pires
Fabiana G. Marinho
Gabriela Telles
Arnaldo Dias Belchior
Published in:
SBQS (2004)
Keyphrases
</>
alternating time temporal logic
formal semantics
multi agent systems
model checking
temporal logic
software process
process improvement
adaptive learning systems
reactive systems
data mining
multiresolution
imperfect information
machine learning
cooperative
object oriented