Requirements Modeling in Agile Methodologies with X-Machines

Journal Title: Computer Science and Mathematical Modelling - Year 2011, Vol 0, Issue 7

Abstract

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.

Authors and Affiliations

Artur Lipski

Keywords

Related Articles

Using covering and resource allocation models to decision support in rescue actions and crisis management

In the paper an application of methods for determining flows in networks to military forces maneuver planning is presented. Model of formal network as environment model for manoeuvre planning based on digital maps is def...

Metoda badania własności statycznych i dynamicznych obiektowego oprogramowania symulacyjnego

Artykuł dotyczy problemów badania własności obiektowych aplikacji symulacyjnych. W punkcie 2 opisano metody badania projektu aplikacji i jej kodu źródłowego. W rozdziale 3 opisano metody badania pracującej aplikacji obie...

An AHP method to ERP system selection

An enterprise resource planning (ERP) is an enterprise-wide application software package that integrates all necessary business functions into a single system with a common database. In order to implement an ERP project...

Harmonogramowanie zadań w homogenicznych systemach rozproszonych

W dzisiejszych czasach wzrasta zapotrzebowanie na moc obliczeniową dla szeregu aplikacji. Systemy rozproszone dzięki swym atrybutom są w stanie sprostać tym wymaganiom. Klastry obliczeniowe o wysokiej wydajności tworzą o...

Metody badania wybranych usług dodanych w sieciach rozległych

W publikacji przedstawiono wybrane usługi dodane wykorzystywane w sieciach rozległych, a także scharakteryzowano podstawowe typy architektur sieci, w których posiadają one zastosowanie. Omówiono również metody formalnego...

Download PDF file
  • EP ID EP63154
  • DOI -
  • Views 103
  • Downloads 0

How To Cite

Artur Lipski (2011). Requirements Modeling in Agile Methodologies with X-Machines. Computer Science and Mathematical Modelling, 0(7), 19-24. https://www.europub.co.uk/articles/-A-63154