it's false because while pre/post-conditions are just assertion, you just can't code class or method invariants and variants in a classical language without making the code unreadable and unmaintainable. These invariants are what makes eiffel 'design by contract' a good paradigm for building robust programs.
Take a look at the (used by professianals) photoshop mac vesroin. There are separate boxes too. The reason for that is you can easyly drag them on many screens. The "good old" windows photoshop layout is not that god....just use a separate desktop and put a gray backgroud:)
Slashdot Mirror
Alien *2* was the bad one.
...blowjob and telepathic dirty talk at the same time!
it's false
because while pre/post-conditions are just assertion, you just can't code class or method invariants and variants in a classical language without making the code unreadable and unmaintainable. These invariants are what makes eiffel 'design by contract' a good paradigm for building robust programs.
Take a look at the (used by professianals) photoshop mac vesroin. There are separate boxes too. The reason for that is you can easyly drag them on many screens. The "good old" windows photoshop layout is not that god....just use a separate desktop and put a gray backgroud :)