Re: How difficult is software? [Re: OVC-discuss Digest, Vol 37, Issue 18]

From: Danny Swarzman <danny_at_stowlake_dot_com>
Date: Mon Nov 26 2007 - 15:44:33 CST

Ham,

I ask this offline because, it goes a little beyond the discussion.

On Nov 26, 2007, at 1:04 PM, Hamilton Richards wrote:

> Was the code being verified designed with verification in mind, or is
> the verification being attempted on completed code? The latter is
> notoriously more problematic.

Can you site principles that a software designer would follow? Is
there a web site or book you can recommend?

I have ideas about this gleaned from years in the field but it would
be nice to see a more systematic treatment.

There is a special requirement we impose on ourselves. The person
doing the verifying isn't limited to a software professional.

-Danny

_______________________________________________
OVC-discuss mailing list
OVC-discuss@listman.sonic.net
http://lists.sonic.net/mailman/listinfo/ovc-discuss
By sending email to the OVC-discuss list, you thereby agree to release the content of your posts to the Public Domain--with the exception of copyrighted material quoted according to fair use, including publicly archiving at http://gnosis.python-hosting.com/voting-project/
==================================================================
= The content of this message, with the exception of any external
= quotations under fair use, are released to the Public Domain
==================================================================
Received on Fri Nov 30 23:17:27 2007

This archive was generated by hypermail 2.1.8 : Fri Nov 30 2007 - 23:17:32 CST