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

Using a formal method to model software design in XP projects

Thomson, C. and Holcombe, M. (2005) Using a formal method to model software design in XP projects. Annals of Mathematics, Computing and Teleinformatics, 1 (3). pp. 44-53. ISSN 1109-9305

Full text not available from this repository.


A software engineer depends on an established best practice toolbox in order to build quality products. Extreme programmings practices tear away many well known techniques to aid developer efficiency; however this can mean that a project is poorly documented. This is a particular problem in our taught courses where all the developers leave on a yearly basis! Extreme X-Machines are a formal model that we have successfully introduced as a documentation method. As a lightweight and change resistant method it is easy to use, but it is also formalised allowing for a succinct and accurate representation of a software system. We have found that the developers benefit from both the description that they make of the software and any that are supplied as documentation during maintenance projects.

Item Type: Article
Copyright, Publisher and Additional Information: © 2005 AMCT.
Keywords: X-machines, metaphor, system documentation, lifecycle management, formal model, Extreme XMachine, XXM, Extreme Programming.
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 14:53
Last Modified: 04 Mar 2008 14:55
Published Version: http://journals.teilar.gr/amct/pub/2005/AMCT_05_6_...
Status: Published
Publisher: Technological Education Institute of Larissa (TEIL), Greece.
Refereed: Yes
Related URLs:
URI: http://eprints.whiterose.ac.uk/id/eprint/3679

Actions (repository staff only: login required)