White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Applying XP Ideas Formally: The Story Card and Extreme X-Machines

Thomson, C. and Holcombe, W. (2003) Applying XP Ideas Formally: The Story Card and Extreme X-Machines. In: 1st South-East European Workshop on Formal Methods. Agile Formal Methods: Practical, Rigorous Methods for a changing world, 21-23 November 2003, Thessaloniki, Greece.


Download (228Kb)


By gathering requirements on story cards extreme programming (XP) makes requirements collection easy. However it is less clear how the story cards are translated into a �finished product. We propose that a formal specification method based on X-Machines can be used to direct this transition. Extreme X-Machines �t in to the XP method well, without large overheads in design and maintenance. We also investigate how such machines adapt to change in the story cards and propose how this could be further enhanced.

Item Type: Conference or Workshop Item (Paper)
Keywords: X-Machines, Extreme Programming, Story cards
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Dr Christopher D Thomson
Date Deposited: 04 Mar 2008 15:35
Last Modified: 08 Feb 2013 16:55
Status: Published
Publisher: South-East European Research Centre
Refereed: Yes
URI: http://eprints.whiterose.ac.uk/id/eprint/3678

Actions (repository staff only: login required)