The concept of "correctness," as it relates to software, is usually discussed in relation to the known requirements for building or using a particular piece of software. When building software we ask questions like Does this algorithm produce the correct result? or Does the workflow of this application correctly conform to the needs of the user? This is one of the ways we measure the success of our efforts. We also judge correctness when using software tools and platforms, whether to build software or to accomplish other types of tasks. If we don’t use a tool correctly, then we likely won’t get the result we want. For example, if the syntax of the code is not correct, then the compiler will not compile it.
See the full essay at:
http://www.developerdotstar.com/mag/articles/read_consistency.html