الفهرس 
IntroductionOnly 14 pages are availabe for public view
 |  | from | 106 |  |  |
| | | from | 106 | | |
Abstract
Summary
The hypothesis of production of the agile software system has become dependable and free of errors and defects are possible thanks to the formal specification methods.
The problems faced by software engineers when taking the formal specification into account during a production of agile software are: Software engineers are not specialized in the mathematics concepts and therefore they can understand a natural language more than a mathematics notations. Software development through formal methods can slow down its production. All these reasons have made software engineers develop software in a traditional way.
This thesis presents a new model that aims to integrate two types of agile methods by an event-b method. The proposed models have all practices and characteristics that exist in the original models. The principal value of the use formal methods in the software process is that it forces an analysis of the system requirements at an early stage. Correcting errors at this stage is cheaper than modifying it after the delivered system.
This thesis is organized into five chapters as follow:-
Chapter (1) presents an introduction and overview about formal specification methods and agile software development.
Chapter (2) discusses the major previous studies in the research area. In addition it includes some measures to show the efficiency on the proposed model.