Validation of ultrahigh dependability for software-based systems
Communications of the ACM
Extreme programming explained: embrace change
Extreme programming explained: embrace change
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
High Integrity Software: The SPARK Approach to Safety and Security
High Integrity Software: The SPARK Approach to Safety and Security
Towards agile security assurance
NSPW '04 Proceedings of the 2004 workshop on New security paradigms
High-integrity extreme programming
Proceedings of the 2005 ACM symposium on Applied computing
Extending XP practices to support security requirements engineering
Proceedings of the 2006 international workshop on Software engineering for secure systems
Towards Agile Engineering of High-Integrity Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Agile security using an incremental security architecture
XP'05 Proceedings of the 6th international conference on Extreme Programming and Agile Processes in Software Engineering
| Hi-index | 0.00 |
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.