High-integrity extreme programming

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2005, Pages 1518-1523

  Paige, Richard F ^a   Chivers, Howard ^a   McDermid, John A ^a   Stephenson, Zoë R ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Agile development; Extreme Programming; High integrity systems

Indexed keywords

AGILE MANUFACTURING SYSTEMS; COMPUTATIONAL METHODS; COMPUTER SCIENCE; INFORMATION TECHNOLOGY; PROGRAMMING THEORY;

AGILE DEVELOPMENT; EXTREME PROGRAMMING; HIGH-INTEGRITY SYSTEMS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 33644522360     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1066677.1067019     Document Type: Conference Paper

References (15)

1. K. Beck. Extreme Programming Explained, AWL, 1999.
2. K. Beznosov. Extreme Security Engineering, available at konstantin.beznosov.net, 2004.
3. First eWorkshop on Agile Methods, 2002. Available at fcmd.umd.edu/ projects/Agile/Summary/SummaryPF.htm
4. M. Poppendieck. XP in a Safety-Critical Environment. Cutter IT Journal, September 2002.
5. J. Stapleton. Dynamic Systems Development Method, Addison-Wesley, 1997.
6. B. Boehm and Richard Turner. Balancing Risk and Agility, Addison-Wesley, 2003.
7. P. Amey and R. Chapman. Static Verification and Extreme Programming. Proc. SigADA Annual Conference 2003.
8. J. Canos, J. Jaen, J. Carsi, and M. Penades. On the use of XP in the Development of Safety-Oriented Hypermedia Systems. Proc. XP 2003, LNCS, Springer, 2003.
9. E. Sherman, Taking Programming to the Extreme, www.technologyreview.com, 2002.
10. T.P. Kelly, Arguing Safety, PhD Dissertation, University of York, 1998.
11. N. Leveson, Safeware, Addison-Wesley, 1995.
12. J. Gorski and B. Nowicki, An Object-Oriented Approach to Safety Analysis, Proc. ENCRESS'95, 1995.
13. Software Considerations in Airborne Systems and Equipment Certification, Radio Technical Commission for Aeronautics RTCA DO-178B/EUROCAE ED-12B, 1993.
14. J. Barnes, High Integrity Software: The SPARK Approach to Safety and Security, J Addison Wesley, 2003.
15. Matlab/Simulink, see http://www.mathworks.com/