Login / Signup
A Ferramenta de Análise Estática Klocwork Integrada a um Processo Formal de Revisão de Código, nível 3 do CMMI.
Denise Piubeli Prado
Aletéia Xavier Bettin
Carlos Miguel Tobar
Vinicius Asta Pagano
Published in:
SBQS (2009)
Keyphrases
</>
project management
independent component analysis
iso iec
formal semantics
risk management
formal model
artificial intelligence
formal specification
image sequences
information technology
data model
signal processing
formal methods
software process
cmos technology
process improvement