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

Log in or registerto write something here or to contact authors.