Software Design

Software Design

[Robert Spooner]

Al,

"There are two ways of constructing a software design. One way is to
make it so simple that there are obviously no deficiencies. And the 
other way is to make it so complicated that there are no obvious 
deficiencies." C. A. R. Hoare

I thought you might enjoy reading that.

Bob

-- 
                             Robert L. Spooner
                      Registered Professional Engineer
                        Associate Research Engineer
                   Intelligent Control Systems Department

          Applied Research Laboratory        Phone: (814) 863-4120
          The Pennsylvania State University  FAX:   (814) 863-7841
          P. O. Box 30
          State College, PA 16804-0030       rls19@psu.edu

Re: Software Design

[Peter Hermann]

Robert Spooner <rls19@psu.edu> wrote:
> I thought you might enjoy reading that.

and I think you should proceed reading the Spark book
"High Integrity Software"   ;-)

cheers,
ph

Re: Software Design

[(see below)]

On 12/12/03 2:43 pm, in article brck7d$m38$1@f04n12.cac.psu.edu, "Robert
Spooner" <rls19@psu.edu> wrote:

> "There are two ways of constructing a software design. One way is to
> make it so simple that there are obviously no deficiencies. And the
> other way is to make it so complicated that there are no obvious
> deficiencies." C. A. R. Hoare

Oh no!
Restrain yourselves, folks!
-- 
Bill:Findlay chez Blue:Yonder dot:co:dot:uk (":" => "")

Re: Software Design

[Alexandre E. Kopilovitch]

> "There are two ways of constructing a software design. One way is to
> make it so simple that there are obviously no deficiencies. And the 
> other way is to make it so complicated that there are no obvious 
>deficiencies." C. A. R. Hoare

It will be very interesting to see an operating system or at least
a (visual) text editor, which has obviously no deficiencies, and
at the same time is useful.

I'd like to propose new term "hoareware" for the kind of software
for which the quoted phrase is true.



Alexander Kopilovitch                      aek@vib.usr.pu.ru
Saint-Petersburg
Russia

Re: Software Design ...and Specification

[Wojtek Narczynski]

Hello,

Let me mention another book, I found very interesting:

"Specifying Systems" by Leslie Lamport
http://research.microsoft.com/users/lamport/tla/book.html

For some reason you can download it, but IMHO it is worth buying.

I had a lot of fun reading the "Getting Started", but then it gets very serious.

However, it is only practical the way that any good theory is practical.

Regards,
Wojtek