ABSTRACT
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 augment XP, particularly in the Pairwise Programming and Refactoring practices.
- John Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison Wesley, 2003 ISBN 0-321-13616-0. Google ScholarDigital Library
- Kent Beck. Extreme Programming Explained. Addison Wesley. ISBN 0-201-61641-6. Google ScholarDigital Library
- Butler, Ricky W.; and Finelli, George B.: The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. IEEE Transactions on Software Engineering, vol. 19, no. 1, Jan. 1993, pp 3--12. Google ScholarDigital Library
- Littlewood, Bev; and Strigini, Lorenzo: Validation of Ultrahigh Dependability for Software-Based Systems. CACM 36(11): 69--80 (1993) Google ScholarDigital Library
- Fowler, Martin: Refactoring: Improving the Design of Existing Code. Addison Wesley, 2000. ISBN 0-201-48567-2.Google Scholar
- Reiner, Rob: This is Spinal Tap, 1984. (The bit with the amplifier..)Google Scholar
- Hall, Anthony and Chapman, Roderick: Correctness by Construction: Building a Commercial Secure System. IEEE Software Jan/Feb 2002. Also on www.sparkada.com Google ScholarDigital Library
Index Terms
- Static verification and extreme programming
Recommendations
Static verification and extreme programming
Proceedings of the ACM SIGAda annual international conferenceAt 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 ...
Not so eXtreme programming: agile practices for R&D projects
OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applicationsThough software projects can benefit from XP practices, not all projects can directly adopt them. Some practices have to be tailored to contexts specific to the projects. This paper describes the road followed when tailoring XP to R&D projects, in a ...
Successful extreme programming
ContextDeveloping a theory of agile technology, in combination with empirical work, must include assessing its performance effects, and whether all or some of its key ingredients account for any performance advantage over traditional methods. Given the ...
Comments