Sir Tony Hoare has presented (in an appreciated keynote of a conference) a metatheory to suggest what should the ideal science be?

Ideal_of_Science

The seven principles (Hoare’s approach is verification) are with some modifications of the author.

We apply these principles in our corrective maintenance strategy.

Advertisements