Path: utzoo!attcan!uunet!samsung!zaphod.mps.ohio-state.edu!wuarchive!rex!uflorida!gatech!prism!tynor
From: tynor@prism.gatech.EDU (Steve Tynor)
Newsgroups: comp.lang.eiffel
Subject: Re: Eiffel as a design language ?
Message-ID: <18435@hydra.gatech.EDU>
Date: 10 Dec 90 22:23:21 GMT
References: <1037@tetrauk.UUCP> <4106@tantalum.UUCP> <1045@tetrauk.UUCP> <4212@tantalum.UUCP> <1050@tetrauk.UUCP>
Organization: Georgia Institute of Technology
Lines: 18

In article <1050@tetrauk.UUCP> rick@tetrauk.UUCP (Rick Jones) writes:
...
>Do other Eiffel users find it valuable as a design aid, or do I just have an
>idiosyncratic way of doing things?  If you use it the way I do, what changes
...

Absolutely! In fact it's one of the primary reasons I like Eiffel so much. The
combination of deferred classes and assertions gives a very expressive design
language - and like you say, the design _is_ the program. There's no conceptual
(or even textual!) leap from the design to the implementation.

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
C++: Just say no.
                     
    Steve Tynor
    Georgia Tech Research Institute
    Artificial Intelligence Branch
    tynor@prism.gatech.edu