Re: Formal Java?

[Roy Wilson <designrw@xxxxxxxxxxxxxxxx>]

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." :-)