Describes theory of how software development can be simplified even for mission critical applications ...