go ahead... be a heretic | |
PerlMonks |
Re: Software Design Resourcesby zby (Vicar) |
on Aug 22, 2003 at 09:43 UTC ( [id://285728]=note: print w/replies, xml ) | Need Help?? |
There is no algorithm determining that a given program is correct (or even that it stops ever). That's mathematically proved you can't have a general procedure directly applicable in all cases. All you can do is try and hope that your case will be one of the speciall cases and you'll have the chance to find the correctness proof. There is no methodology.
Of course I concentrated here on just part of the whole developement process.
In Section
Meditations
|
|