High-integrity extreme programming

Authors:
Richard F. Paige;Howard Chivers;John A. McDermid;Zoë R. Stephenson
Affiliations:
University of York, UK;University of York, UK;University of York, UK;University of York, UK
Venue:
Proceedings of the 2005 ACM symposium on Applied computing
Year:
2005

Citing 3
Cited 2

Extreme programming explained: embrace change

Extreme programming explained: embrace change
High Integrity Software: The SPARK Approach to Safety and Security

High Integrity Software: The SPARK Approach to Safety and Security
Static verification and extreme programming

Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies

Towards Agile Engineering of High-Integrity Systems

SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Three perspectives in formal engineering

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We assess the applicability of Extreme Programming practices to engineering high-integrity systems, focusing on the characteristics of this problem domain that distinguish it from those considered more traditional for agile development. We suggest that Extreme Programming needs both extension and modification to be applicable to engineering high-integrity systems, and discuss promising extensions.