home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / eiffel / 1108 < prev    next >
Encoding:
Internet Message Format  |  1992-09-02  |  1.3 KB
  1. Path: sparky!uunet!mcsun!corton!feiffel!bertrand
  2. From: bertrand@feiffel.UUCP (Bertrand Meyer)
  3. Newsgroups: comp.lang.eiffel
  4. Subject: Re: system-level validity
  5. Message-ID: <83@feiffel.UUCP>
  6. Date: 3 Sep 92 12:09:56 GMT
  7. References: <mod.714411318@cs.man.ac.uk> <714585601snx@holon.demon.co.uk> <mod.714907485@cs.man.ac.uk>
  8. Organization: S.O.L. Paris, France
  9. Lines: 22
  10.  
  11.  
  12. The first release of ISE Eiffel 3 does not support system-level
  13. validity checking. We felt that adding system-level checking,
  14. which addresses a real problem but one that does not arise often
  15. in practice, was not worth delaying the release by two months
  16. (the current estimate of the time needed to implement system-level
  17. validity).
  18.  
  19. We felt that the version as it is is such an advance for developers
  20. of practical software systems that we should release it without
  21. waiting for system-level validity to be ready. This was not an
  22. easy decision to make, for all the reasons listed in the referenced
  23. articles. Feel free to flame if you disagree.
  24.  
  25. ISE recognizes the importance of system-level validity, which is at the
  26. top of the list facilities to be added in the immediately following release.
  27.  
  28. -- 
  29. -- Bertrand Meyer
  30. Interactive Software Engineering Inc., Santa Barbara
  31. bertrand@eiffel.com
  32. (temporarily at SOL, Paris, bertrand@eiffel.fr)
  33.