Aug. 20, 2001
7:26 p.m.
On Mon, Aug 20, 2001 at 07:58:16PM +0100, alan.gauld@freenet.co.uk wrote:
Really I'm just interested in what exactly a theoretical basis for software engineering would look like.
You might be interested in some of Tony Hoare's recent work on "Unified Theories of Programming". See the links at the bottom of <http://research.microsoft.com/~thoare/>. (For some reason the PDFs reached by those links look really bad in Acrobat Reader on my NT machine.) -- Fred Yankowski fred@OntoSys.com tel: +1.630.879.1312 Principal Consultant www.OntoSys.com fax: +1.630.879.1370 OntoSys, Inc 38W242 Deerpath Rd, Batavia, IL 60510, USA