HP3000-L Archives

December 2001, Week 4

HP3000-L@RAVEN.UTC.EDU
Options: Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
Re: Image Error : Programming practices
From:
Keven Miller <[log in to unmask]>
Reply To:
Keven Miller <[log in to unmask]>
Date:
Thu, 27 Dec 2001 18:04:59 -0700
Content-Type:
text/plain
Parts/Attachments:
text/plain (16 lines) 
> 
> The idea of "proving programs correct" has not proved to be practical.
> 

Many times the simple modules of projects can seem complex and
difficult.

Until I get enlightened that the module needs to be simpler and broken
into "sub" modules. Thus making them easier to understand and to
"prove" correct.
_____________________________________________________________
Keven Miller   mailto:[log in to unmask]   http://www.exegesys.com

* To join/leave the list, search archives, change list settings, *
* etc., please visit http://raven.utc.edu/archives/hp3000-l.html *

ATOM RSS1 RSS2