The Community for Technology Leaders
Requirements Engineering, IEEE International Conference on (2000)
Schaumburg, Illinois
June 19, 2000 to June 23, 2000
ISSN: 1097-0592
ISBN: 0-7695-0565-1
pp: 153
Peter G. Neumann , SRI International
ABSTRACT
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.
INDEX TERMS
CITATION

P. G. Neumann, "Certitude and Rectitude," Requirements Engineering, IEEE International Conference on(ICRE), Schaumburg, Illinois, 2000, pp. 153.
doi:10.1109/ICRE.2000.855604
145 ms
(Ver 3.3 (11022016))