Beefy Boxes and Bandwidth Generously Provided by pair Networks
Perl-Sensitive Sunglasses
 
PerlMonks  

Re: Software Design Resources

by zby (Vicar)
on Aug 22, 2003 at 09:43 UTC ( #285728=note: print w/replies, xml ) Need Help??


in reply to Software Design Resources

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.

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://285728]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others rifling through the Monastery: (6)
As of 2021-06-20 07:11 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    What does the "s" stand for in "perls"? (Whence perls)












    Results (94 votes). Check out past polls.

    Notices?