• 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