Karel Th�nissen wrote:
 
> > From personal experience I have found this to be the case. Being able to
> > test your comments is very useful!
> 
> I fully agree, and every one should do this. But do you get this taught
> in software engineering class or do software engineering methods or
> languages enforce this? Do project managers require this?
> To further clarify my/our point. Right now tens of thousands of
> programmers wish that assumptions were more accurately documented in the
> code - on the spot - if only by means of informal comments. These
> programmers are making our software ready for the Y2000, they know the
> assumptions made, if only they could easily find those spots.

I was very sceptical about assertions until I started using Eiffel. I am
now converted.

I would however be interested in a discussion on how exceptions should
be handled.

1) Report and fail
2) Have logic. In the Ariane case, just shut down the SRI after launch
3) Fix and retry - could just be wait and retry
4) Try method B

Are there any others?

-- 

Nick