Static verification and extreme programming

@inproceedings{Amey2003StaticVA,
  title={Static verification and extreme programming},
  author={Peter Amey and Roderick Chapman},
  booktitle={SIGAda},
  year={2003}
}
At first glance, the worlds of high-integrity software engineering and Extreme Programming (XP) seem to have little in common. Somewhat surprisingly, we have found the reverse to be the case-indeed it seems that many practices advocated by the XP community are familiar to us from many years' of experience in building safety- and security-critical systems. This paper discusses our experiences in applying some XP practices in critical projects. Secondly, we discuss how static verification can… CONTINUE READING

From This Paper

Topics from this paper.