Newsgroups: comp.edu,comp.object,comp.lang.c++,comp.lang.smalltalk,comp.software.testing
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.sprintlink.net!howland.reston.ans.net!news.nic.surfnet.nl!sun4nl!tnofel!rlzc3
From: rlzc3@fel.tno.nl (R.L.Zijlstra)
Subject: Re: Theory of Software Testing
Message-ID: <1995Jul19.151905.18222@fel.tno.nl>
Organization: TNO Physics and Electronics Laboratory
References: <3tdfsd$nn9@newsbf02.news.aol.com> <Pine.A32.3.90.950707172725.22358A-100000@elvis.med.Virginia.EDU> <3tkbd7$72@nt.colmicrosys.com> <3tr9oq$hb2@sernews.raleigh.ibm.com> <3u66as$5jp@sun132.spd.dsccc.com> <3ue75o$n6i@reznor.larc.nasa.gov> <3uelai$6o7@gazette.medtronic.COM> <3uf061$um@nkosi.well.com> <3ugf52$gfe@hermes.acs.unt.edu>
Date: Wed, 19 Jul 1995 15:19:05 GMT
Lines: 23
Xref: glinda.oz.cs.cmu.edu comp.edu:13418 comp.object:35285 comp.lang.c++:139407 comp.lang.smalltalk:26091 comp.software.testing:5252

srt@zaphod.csci.unt.edu (Steve Tate) writes:

>Stephen J Parker (sparker@well.sf.ca.us) wrote:
>> tim.church@medtronic.com (Tim Church) writes:

>>>I caught the end of an item on NPR regarding the US vs European approach to 
>>>software validation.  They mentioned a Dutch academic by the name of Dykstra, 
>>>who is a mathematician promoting mathematical proof of software validity 
>>>(yeah, I know about Godel, A.Church, etc.). Does anyone have a reference?


>> EJ Djikstra - A Discipline of Programming, currently at Texas A&M
>> I think.

>Djikstra is actually at the University of Texas (in Austin).
Let's Keep spelling correct:
E.J. Dijkstra

>--
>Steve Tate  ---  srt@cs.unt.edu | "As often as a study is cultivated by narrow
>Dept. of Computer Sciences      |  minds, they will draw from it narrow
>University of North Texas       |  conclusions."  -- John Stuart Mill, 1865.
>Denton, TX  76201               | 
