Martin Croxford

Learn More
With conventional methods of performing verification and validation heavily reliant on testing performed late in the software production process the 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(More)
With conventional methods of performing verification and validation heavily reliant on testing performed late in the software production process the 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(More)
With conventional methods of performing verification and validation heavily reliant on testing performed late in the software production process the 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(More)
T he National Institute of Standards and Technology (NIST) reported in 2002 that low quality software costs the U.S. economy $60 billion per year [1]. According to the aptly named " Chaos Report, " only one quarter of software projects are judged a success [2]. Software defects are accepted as inevitable by both the software industry and the long-suffering(More)
T he National Institute of Standards and Technology (NIST) reported in 2002 that low quality software costs the U.S. economy $60 billion per year [1]. According to the aptly named " Chaos Report, " only one quarter of software projects are judged a success [2]. Software defects are accepted as inevitable by both the software industry and the long-suffering(More)
  • 1