This week's book giveaways are in the Refactoring and Agile forums.
We're giving away four copies each of Re-engineering Legacy Software and Docker in Action and have the authors on-line!
See this thread and this one for details.
Win a copy of Re-engineering Legacy Software this week in the Refactoring forum
or Docker in Action in the Agile forum!
  • Post Reply
  • Bookmark Topic Watch Topic
  • New Topic

correspondence and software correctness

 
Moni Marva
Greenhorn
Posts: 23
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
What is the difference between software correspondence and software correctness
 
Scott Ambler
author
Ranch Hand
Posts: 608
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
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
 
Moni Marva
Greenhorn
Posts: 23
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
While reading some article I came across these words so wanted to know more about it.
 
Ilja Preuss
author
Sheriff
Posts: 14112
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
Is that article available online?
 
  • Post Reply
  • Bookmark Topic Watch Topic
  • New Topic