Mailing List Archive


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

Re: [tlug] [OT] Good IT Resume



On Mon, 30 Jul 2007, Stephen J. Turnbull wrote:

It's simply not a good idea in general, because code is guaranteed to
overspecify....

Is it?

Keep in mind that I'm not talking about including C code in the spec.,
here. Would you consider a specification of the state machine in Z
notation[1] to overspecify?

Surely if, without overspecifying, one can come up with a picture or an
English prose description of something designed to be implemented, one
can also, with some further work, come up with a more formal description
that would be more amenable to a formal proof of correctness and
interpetable by a computer, both of which are indisputably Good Things.

[1] http://en.wikipedia.org/wiki/Z_notation for a rough idea, but I
can't recommend Jonathan Jacky's _The Way of Z_ enough.

cjs
--
Curt Sampson       <cjs@example.com>        +81 90 7737 2974
Mobile sites and software consulting: http://www.starling-software.com


Home | Main Index | Thread Index

Home Page Mailing List Linux and Japan TLUG Members Links