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: |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)