[trustable-software] Exploring the "Hypothesis for software to be trustable"

[Andrew Banks]

Generally, I like this - but I'd like to debate your Specifications bit:

	Specifications state:
	- the problem
	- the expected solution
	- how to verify the solution

How about:

	Specifications state the WHAT:
	- the requirements that need to be met

	Plans will state the HOW:
	- the HOW it will be DONE		= the design plan
	- the HOW it will be VERIFIED		= the verification (test?) plan
	- the HOW it will be MANAGED		= the management plan
	- etc

A