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
Abstract
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.
Metadata
Authors/Creators: |
|
---|---|
Copyright, Publisher and Additional Information: | © 2005 AMCT. |
Keywords: | X-machines, metaphor, system documentation, lifecycle management, formal model, Extreme XMachine, XXM, Extreme Programming. |
Dates: |
|
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: |