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
Lost password
Sign Up
Need help? accounthelp@everything2.com