Requirements Modeling in Agile Methodologies with X-Machines

• Autorzy: Lipski A.

Warianty tytułu

PL

Modelowanie wymagań w metodach Agile z wykorzystaniem X-Machines

• Języki publikacji: EN

Abstrakty

EN

The demand for more complex but also more reliable and correct computer based systems on the one hand, and the fact that several changes in the user requirements through the development cycle on the other hand, leads to the need for more formal but also agile development methodologies. X-Machines is an intuitive formal method which can be easily applied to agile methodologies, especially in specification phase, gaining a lot of advantages.

PL

Popyt na bardziej złożone, ale również bardziej wiarygodne i prawidłowe systemy z jednej strony, oraz fakt, że klika zmian w wymaganiach użytkownika w trakcie cyklu rozwoju oprogramowania z drugiej strony, prowadzi do konieczności użycia bardziej formalnych ale również zwinnych metody wytwarzania oprogramowania. X-Machines to intuicyjne formalne metody, które można łatwo zastosować wraz z metodami Agile, zwłaszcza w fazie specyfikacji wymagań, osiągając wiele zalet.

Słowa kluczowe

EN

X-Machine; agile methods; requirements modeling

PL

X-Machine; metody Agile; modelowanie wymagań

• Wydawca: Institute of Computer and Information Systems, Faculty of Cybernetics, Military University of Technology
• Czasopismo: Biuletyn Instytutu Systemów Informatycznych
• Rocznik: 2011
• Tom: nr 7
• Strony: 19--24
• Opis fizyczny: Bibliogr. 9 poz., rys.

Twórcy

autor

Lipski A.

• Faculty of Cybernetics, Military University of Technology, Kaliskiego Str. 2, 00-908 Warsaw, Poland,

Bibliografia

• [1] S. Eilenberg: Automata, languages and machines. Academic Press, New York 1994.
• [2] K. Beck: Extreme programming explained: embramce change. Addison-Wesley 2000.
• [3] A. Cockburn: Writing Effective Use Cases. Addison-Wesley 2000.
• [4] M. Holcombe: X-Machines as a basis for dynamic system specification. Software Engineering Journal, 1988.
• [5] M. Holcombe, F. Ipate: Correct Systems: Building a Business Process Solution. Springer Verlag, Berlin 1998.
• [6] M. Stannett: The Theory of X-Machines – Part 1. University of Sheffield Regent Court, United Kingdom 2006.
• [7] M. Holcombe: An integrated methodology for the formal specification, verification and testing systems. Proc. EuroSTAR 93, London 1993.
• [8] H. Gheorgescu, C. Vertan: A New Approach to Communicating X-machines Systems. Journal of Universal Computer Science, Vol. 6, No. 5, 2000.
• [9] C. Thomson, W. Holcombe: Applying XP Ideas Formally: The Story Card and Extreme Xmachines. Proceedings of 1st South-East European Workshop on Formal Methods, Thessaloniki, Greece 57−71, South−East European Research Centre, 2003.