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