A semi-formal Software Engineering methodology that attempts to acheive zero defects, through the production and specification of intended functions, statistical usage testing, black box testing, code reviewing, proof, and formal specification. see N Notation