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
printable version
chaos
Everything2 Help