[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Formal Java?

A E Lawrence wrote:

> Mike Spivey made a excellent comment in a contribution to the Z user
> list this week.
> "The real benefit of UML is that it lets you specify systems you don't
> understand.  The real benefit of mathematics is that it doesn't let
> you do that."
> :-)
> Adrian
> --
> Dr A E Lawrence (from home)

I love it. A corollary: "The problem with mathematics-types is
analysis-paralysis, possibly brought on by a lack of self-confidence." :-)