Software Quality Axioms

January 07, 2005

• Axiom of separation of concerns. Solve complex problems by solving a series of intermediate, simpler problems.
• Axiom of comprehension. Accommodate human cognitive limitations.
• Axiom of translation. Correctness is unaffected by movement between equivalent contexts.
• Axiom of transformation. Correctness is unaffected by replacement with equivalent components.

all  kb