Belief in Correctness

@inproceedings{Abrams2003BeliefIC,
  title={Belief in Correctness},
  author={Marshall D. Abrams and The MITRE Corporation and McLean Colshire Drive and Va and Marvin V. Zelkowitz},
  year={2003}
}
In developing information technology, you want assurance that systems are secure and reliable. Correctness is an attribute that one strives for in order to achieve those goals, but you cannot have assurance or security without correctness. We discuss methods used to achieve correctness, focusing on weaknesses and approaches that management might take to increase belief in correctness. Formal methods, simulation, testing, and process modeling are addressed in detail. Structured programming, life… CONTINUE READING