COMP 232 Lecture Notes - Lecture 6: Baggage Handling System, Year 2000 Problem, Software Engineering
17 Apr 2016
School
Department
Course
Professor
Document Summary
Methods that can be used to verify that a given proposition is true. Proofs are used mostly in mathematics, but there is also a need for proofs in software de- velopment. Software a works according to its speci - cations. The output values of computer control c are in an acceptable range. Software segments in d communicate with each other correctly. Several years ago, all computer systems on the ship crashed, including the propulsion and steering. Lesson learned: software developers must use methods that ensure software correctness. Better software design techniques, discussed in software engineering courses. It would be very di cult to prove correctness for large and complex systems, but. Proof techniques can be used to prove cor- rectness of small critical components, The reasoning used in proof techniques can be used to verify correctness of larger soft- ware systems informally. A theorem is a statement that can be proved to be true.
