* Software Design @ 2003-12-12 14:43 Robert Spooner 2003-12-12 15:22 ` Peter Hermann ` (2 more replies) 0 siblings, 3 replies; 5+ messages in thread From: Robert Spooner @ 2003-12-12 14:43 UTC (permalink / raw) 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 ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Software Design 2003-12-12 14:43 Software Design Robert Spooner @ 2003-12-12 15:22 ` Peter Hermann 2003-12-16 16:28 ` Software Design ...and Specification Wojtek Narczynski 2003-12-12 15:55 ` Software Design (see below) 2003-12-12 19:49 ` Alexandre E. Kopilovitch 2 siblings, 1 reply; 5+ messages in thread From: Peter Hermann @ 2003-12-12 15:22 UTC (permalink / raw) 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 ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Software Design ...and Specification 2003-12-12 15:22 ` Peter Hermann @ 2003-12-16 16:28 ` Wojtek Narczynski 0 siblings, 0 replies; 5+ messages in thread From: Wojtek Narczynski @ 2003-12-16 16:28 UTC (permalink / raw) 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 ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Software Design 2003-12-12 14:43 Software Design Robert Spooner 2003-12-12 15:22 ` Peter Hermann @ 2003-12-12 15:55 ` (see below) 2003-12-12 19:49 ` Alexandre E. Kopilovitch 2 siblings, 0 replies; 5+ messages in thread From: (see below) @ 2003-12-12 15:55 UTC (permalink / raw) 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 (":" => "") ^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Software Design 2003-12-12 14:43 Software Design Robert Spooner 2003-12-12 15:22 ` Peter Hermann 2003-12-12 15:55 ` Software Design (see below) @ 2003-12-12 19:49 ` Alexandre E. Kopilovitch 2 siblings, 0 replies; 5+ messages in thread From: Alexandre E. Kopilovitch @ 2003-12-12 19:49 UTC (permalink / raw) To: comp.lang.ada > "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 ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2003-12-16 16:28 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2003-12-12 14:43 Software Design Robert Spooner 2003-12-12 15:22 ` Peter Hermann 2003-12-16 16:28 ` Software Design ...and Specification Wojtek Narczynski 2003-12-12 15:55 ` Software Design (see below) 2003-12-12 19:49 ` Alexandre E. Kopilovitch
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox