Re: "Design by contract" revisited
If you need that level of integrity you should be considering: spark Ada.
You can learn more http://www.praxis-his.com/
The spark Ada form of Design by Contract is Correct by Construction. In
contrast to Eiffel, spark Ada code is verified to be correct before it is
compiled. It is not easy or quick to write. Only a limited set of the Ada
instructions can be used and a deep understanding of software
specification, eg: Z, is essential. You really need to be of first class
honours calibre. The effort is justified, indeed essential, for
safety-critical systems, eg: flying an aeroplane or driving a train, but is
more than can be justified for systems that are unlikely to kill or injure
people - yet.
That said, I am sure that, just as the wisdom of Eiffel is beginning to
dawn on the producers of other languages, so the influence of spark will,
one day, affect Eiffel.
Software Team Leader & Intellectual Property Manager
tel: +44 1305 208341
From: "Robert Jurjevic" <Robert.Jurjevic@...>