Requirements Modeling in Agile Methodologies with X-Machines

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.

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.