A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
Breaking through the V and V bottleneck
[chapter]
1996
Lecture Notes in Computer Science
With conventional methods of performing verification and validation -heavily reliant on testing performed late in the software production processthe late detection of errors adds substantially to project costs and delays in delivery, and introduces significant risks. This paper presents a method of software development aimed at "correctness by construction", which greatly attenuates these problems. The process described here has been applied successfully to the development of avionic software for the new C-130J ("Hercules") aircraft.
doi:10.1007/bfb0015506
fatcat:sawcwg24oba43j656aswyjndza