status of Programming by Contract (PEP 316)?

[Carl Banks]

On Sat, 01 Sep 2007 17:19:49 +0200, Pierre Hanser wrote:

> Carl Banks a écrit :
>> 
>> This is starting to sound silly, people.  Critical is a relative term,
>> and one project's critical may be anothers mundane.  Sure a flaw in
>> your flagship product is a critical problem *for your company*, but are
>> you really trying to say that the criticalness of a bad web search is
>> even comparable to the most important systems on airplanes, nuclear
>> reactors, dams, and so on?  Come on.
> 
> 20 years ago, there was *no* computer at all in nuclear reactors.

But they had electronic (analog) systems that were (supposedly) just as 
heavily regulated and scrutinized as the digital computers of today; and 
were a lot more scrutinized than, say, the digital computers that banks 
were using.


Carl Banks