Modelowanie wymagań w metodach Agile z wykorzystaniem X-Machines
Journal Title: Computer Science and Mathematical Modelling - Year 2011, Vol 0, Issue 7
Abstract
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.
Authors and Affiliations
Artur Lipski
Keywords
Related Articles
- EP ID EP63152
- DOI -
- Views 129
- Downloads 0
Simulation efficiency analysis method of Java Enterprise Edition application
In this article efficiency analysis method of Java EE applications was presented. Efficiency’s measures of such kind of applications were described. Furthermore, discrete-event simulation modelling method Event Graph and...
Optimal Resource Allocation for Reliability of Modular Software Systems
Considerable development resources are consumed during the software-testing phase. The software development manager has to decide how to use the testing-resources effectively in order to maximize the software quality and...
Early exit from a function as method of code optimization in the component environments
This paper presents the use of code optimization method in the component environments (Java VM, MS .NET, Mono). In the proposed solution implemented for component environments there are occurrences when manual code optim...
The fine – coarse network model for simulating crowd behavior
The paper covers topics concerning the creation of models and simulators of crowd behavior and their usage in decision support systems. Models and crowd behavior simulators were originally created to understand the phen...
Konstruowanie układów kwantowych dla pewnych operacji unitarnych
Artykuł zawiera opis metody konstruowania układu kwantowego, którego reprezentacja jest zero-jedynkową macierzą unitarną. Najpierw przypomniany został sposób obliczania postaci macierzowej operatora kwantowego, reprezent...