On Sat, 11 Oct 2003, Daniel C. von Asmuth wrote:
> Thus quoth John Andersen on Fri, Oct 10, 2003 at 06:35:56PM -0800:
> > On Friday 10 October 2003 10:32, John wrote:
> > > I also point out to them that ISO9000 standards forbids them to use
> > > software that isn't proven to be correct and error free, a
> >
> > That would forbid use of any software.
> > There is no such thing as a totally error free piece of software.
>
> Yes there is, and the Kernighan & Ritchie version of hello.c is a fine
> example.
You mean:
#include <stdio.h>
main()
{
printf( "Hello, world" );
}
?
There's a bug there, in that it doesn't check the return code from printf().
> The art of proving software correct is taught at universities, but rarely
> practiced in the industry.
>
> Kind regards,
> Daniel von Asmuth
Pedantically,
Alex.
--
Alex Butcher Brainbench MVP for Internet Security: www.brainbench.com
Bristol, UK Need reliable and secure network systems?
PGP/GnuPG ID:0x271fd950 <http://www.assursys.com/>
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.