correspondence and software correctness

Moni Marva

Greenhorn

Posts: 23

posted 18 years ago

Number of slices to send:

Optional 'thank-you' note:

Send

What is the difference between software correspondence and software correctness

Scott Ambler

author

Posts: 608

posted 18 years ago

Number of slices to send:

Optional 'thank-you' note:

Send

Software correctness is an approach where you "prove" that programs actually work properly. Sounds great in theory, and a small group within the academic community seem to like the idea, but in practice it's far too expensive to do.

Software correspondence doesn't really make sense as a concept, unless you're talking about some sort of application for managing correspondence such as email, SMSs, phone calls, ...

Why are you interested?

- Scott

<a href="http://www-306.ibm.com/software/rational/bios/ambler.html" target="_blank" rel="nofollow">Scott W. Ambler</a><br />Practice Leader Agile Development, IBM Rational<br /> <br />Now available: <a href="http://www.ambysoft.com/books/refactoringDatabases.html" target="_blank" rel="nofollow">Refactoring Databases: Evolutionary Database Design</a>

Moni Marva

Greenhorn

Posts: 23

posted 18 years ago

Number of slices to send:

Optional 'thank-you' note:

Send

While reading some article I came across these words so wanted to know more about it.

Ilja Preuss

author

Posts: 14112

posted 18 years ago

Number of slices to send:

Optional 'thank-you' note:

Send

Is that article available online?

The soul is dyed the color of its thoughts. Think only on those things that are in line with your principles and can bear the light of day. The content of your character is your choice. Day by day, what you do is who you become. Your integrity is your destiny - it is the light that guides your way. - Heraclitus