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



  • Thomson, C. (
  • Holcombe, M.
Copyright, Publisher and Additional Information: © 2005 AMCT.
Keywords: X-machines, metaphor, system documentation, lifecycle management, formal model, Extreme XMachine, XXM, Extreme Programming.
  • Published: 1 December 2005
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:
Status: Published
Publisher: Technological Education Institute of Larissa (TEIL), Greece.
Refereed: Yes
Related URLs:

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Share / Export