Tool Support for Invariant Based Programming.
Ralph-Johan BackMagnus MyreenPublished in: APSEC (2005)
Keyphrases
- tool support
- software development
- design decisions
- programming language
- software tools
- software engineering
- software projects
- computer programming
- programming environment
- affine invariant
- data sets
- case study
- test suite
- object oriented programming
- moment invariants
- requirements engineering
- affine transformation
- invariant features
- image registration