Requirements Engineering, IEEE International Conference on (2000)
June 19, 2000 to June 23, 2000
Peter G. Neumann , SRI International
Certitude: the state of being or feeling certain; Rectitude: correctness of judgment or procedure. There is a fundamental difference between certification (which is intended to give you the feeling that someone or something is doing the right thing) and correctness (for which you hopefully have some well-founded reason to believe that someone or something is doing the right thing - with respect to appropriate definitions of what is right). Certification is typically nowhere near enough; correctness is somewhat closer to what is needed, although often unattainable in the large - that is, with respect to the entire system. However, formal demonstrations that something is correct are potentially much more valuable than loosely based certification. Therefore, a challenge confronting us here is to endow certification - of people and of systems - with a greater sense of rigor and credibility.
P. G. Neumann, "Certitude and Rectitude," Requirements Engineering, IEEE International Conference on(ICRE), Schaumburg, Illinois, 2000, pp. 153.