Talk:Eiffel (programming language): Difference between revisions

Revision as of 16:21, 12 December 2005

Revision as of 10:56, 13 December 2005

Line 62:

[[User:Mikademus|Mikademus]] 21:04, 19 November 2005 (UTC)

I think the sentence fragment that reads "which emphasizes the production of robust software" is questionable. It would be better (more accurate/NPV) to change this to something along the lines of "emphasises the production of software which is provable correct to a formal specifificationspecification". Esp. given the Eiffel tendency to fail hard on contract breaches; whichat hasthe a tendency toexpense workof againstabsolute robustness.