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

@inproceedings{Thomson2003ApplyingXI,
  title={Applying XP Ideas Formally: The Story Card and Extreme X-Machines},
  author={C. Thomson and W. Holcombe},
  year={2003}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 10 CITATIONS

Procedures and Algorithms for Continuous Integration in an Agile Specification Environment

  • International Journal of Software Engineering and Knowledge Engineering
  • 2009
VIEW 1 EXCERPT
CITES METHODS

Bringing the Agile Philosophy to Formal Specification Settings

  • International Journal of Software Engineering and Knowledge Engineering
  • 2006

References

Publications referenced by this paper.
SHOWING 1-9 OF 9 REFERENCES

Evolving Databases

A Medcalf
  • Undergraduate project Dissertation, Department of Computer Science, University of Sheffield, June
  • 2001
VIEW 1 EXCERPT

X-machines as a basis for dynamic system specification

  • Software Engineering Journal
  • 1988
VIEW 1 EXCERPT

Testing Formal Specifications to Detect Design Errors

  • IEEE Transactions on Software Engineering
  • 1985
VIEW 1 EXCERPT