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

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.