Software certification: coding, code, and coders.
Klaus HavelundGerard J. HolzmannPublished in: EMSOFT (2011)
Keyphrases
- coding scheme
- source code
- error correcting
- bit rate
- coding method
- software systems
- program understanding
- residual signal
- industry standard
- transform coding
- software development
- fully functional
- software maintenance
- wavelet image coding
- video coder
- java programs
- static analysis
- video coding
- software engineering practices
- error control
- code length
- code snippets
- image coder
- entropy coding
- bit allocation
- coding efficiency
- inter frame
- third party
- test cases
- transform coefficients
- computational complexity
- software components
- aspect oriented programming
- rate distortion
- unit testing
- computer systems
- image compression
- motion estimation