aspose file tools*
The moose likes Agile and Other Processes and the fly likes correspondence and software correctness Big Moose Saloon
  Search | Java FAQ | Recent Topics | Flagged Topics | Hot Topics | Zero Replies
Register / Login
JavaRanch » Java Forums » Engineering » Agile and Other Processes
Bookmark "correspondence and software correctness" Watch "correspondence and software correctness" New topic
Author

correspondence and software correctness

Moni Marva
Greenhorn

Joined: Jan 24, 2005
Posts: 23
What is the difference between software correspondence and software correctness
Scott Ambler
author
Ranch Hand

Joined: Dec 12, 2003
Posts: 608
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

Joined: Jan 24, 2005
Posts: 23
While reading some article I came across these words so wanted to know more about it.
Ilja Preuss
author
Sheriff

Joined: Jul 11, 2001
Posts: 14112
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
 
I agree. Here's the link: http://aspose.com/file-tools
 
subject: correspondence and software correctness
 
Similar Threads
sql injection
Horizontal Scaling
swappable drives
suggest a concept for workshop
Looking out for the Jobs in Java and J2EE technologies? Can anyone help me?