2.2 Publication Selection
After getting 2245 relevant studies from phase 1, the first author went through the titles of all the 2245 studies in the second phase, in order to know their relevance to the Systematic Literature Review. In this phase, articles with titles that indicated clearly that the articles were out of scope of the SLR were excluded. To minimize the threat of excluding relevant papers, the first author randomly selected two sample sets (with different papers) of 10% of the excluded papers. The second and third authors were provided with one sample set each to include or exclude papers. Any disagreement between the authors was resolved by discussion that included all three researchers. At the end of second phase, 1072 relevant titles were identified. During the third
phase, the first author reviewed all 1072 abstracts, and the second and third author reviewed 25% of the excluded papers. Six papers were up for discussion in phase 3 and one paper was added to the included papers. At the end of phase III, 205 papers were left for the last phase of the selection process
2.3 Publication Screening and Quality Assessment
The following screening criteria, inspired by (Tore and Torgeir, 2008), were used to ensure the quality of the papers and to exclude unrelated research papers.
• SC1: Is the study focusing on improving requirements?
• SC2: Are the research questions, objectives of the study and aims well defined?
• SC3: Is the studied context well defined?
On the basis of the above screening criteria 18 papers out of the 205 papers are finally selected. Because of the restriction of maximum four pages, author has presented the individual review of only five studies out of 18 in the following section, while the findings and observations are being compiled from all the eighteen.
On the basis of the above screening criteria 18 papers out of the 205 papers are finally selected. Because of the restriction of maximum four pages, author has presented the individual review of only five studies out of 18 in the following section, while the findings and observations are being compiled from all the eighteen
3. Related Works
Research in a specific field obliges an intricate survey and investigation of writing identified with that subject. A deliberate audit of the writing gives data concerning, has been done in the region, prompting a huge examination. Definite and watchful audits of the specialists and analysts likewise advance more noteworthy comprehension of the field, strategies, routines and calculations and empower to edge valuable speculation.
• In a specialized report (Easterbrook et al., 1997) of the examination (completed in part by the Jet Propulsion Laboratory, California under an agreement with the NASA) Steve Easterbrook, depicted three contextual analyses in the lightweight utilization of formal strategies to prerequisites demonstrating for space apparatus issue assurance framework. The formal strategies were connected ahead of schedule in the prerequisite designing procedure, to approve the advancing prerequisites. The results were nourished once again into the tasks, to enhance the casual particulars. In each of the three cases, formal techniques upgraded the current check and acceptance forms, by testing key properties of the developing prerequisites, also, help to distinguish shortcomings. From the paper it is seen that every instance of formal demonstrating was done by a little group of specialists who were not piece of the advancement group. Results from formal demonstrating were encouraged into the necessities examination stage, however formal particular dialects were not embraced for standard details.
• In (Fatwanto, 2012), creator proposes another strategy for deciphering programming necessities determined utilizing common dialect to formal particular. Necessities particular written in a situation like organization will be changed into class chart’s parts. From the paper it is seen that the proposed strategy has no less than two limits. In the first place, it can just decipher programming necessities determined in the Concern-Aware Prerequisites Engineering (CARE) design just. Second, the interpretation can’t make an interpretation of prerequisites determination into a complete arrangement of class outline. It can just change prerequisites detail into classes alongside their separate characteristics.
• In (Dubravk, 2007) creator proposed a way to deal with determine formal details of responsive frameworks from their casual prerequisites. The paper likewise proposed another prerequisite dialect, and demonstrated to change the casual prerequisites of a responsive framework into necessities written in this new transitional dialect. The determined prerequisites permit to better structure the casual necessities. Consequently the creator demonstrated how these necessities are then methodicallly interpreted into a formal particular in the B- Method. The creator additionally accepted the proposed approach through a case study.
From the paper it is seen that the paper has utilized an alternate idea of moderate prerequisite dialect that functions as extension in the middle of casual and formal prerequisites. Likewise the methodology utilized recognizes necessities from details. The introductory casual prerequisites are changed through a middle necessity dialect into a formal determination.
4. Discoveries and Observations
From the audits introduced in past area it can be induced that there is developing enthusiasm for formal techniques on the grounds that they offer thorough backing of PC framework improvement. Formal systems are especially alluring in security basic applications for example, procedure control, avionics, medicinal frameworks, railroad flagging and numerous others. It is hard to discover an application that would not profit by the thoroughness brought by formal techniques. Receiving formal routines in a product organization is more a strategical also, methodological issue than a specialized one. The creator does not accept or advocate 1222 S.W.A. Rizvi et al the broad utilization of these strategies in the product business when all is said in done; however their application ought to rather be considered when dependability, security or security is a concern. Honest modern uses of formal routines have as of now been led effectively in key territories that have get to be leader application zones. Formal Specifications and confirmation are not simple or shoddy, but rather the genuine expense has to be considered in the long haul. Then again, their decisions must be taken with consideration, formal routines must be utilized to determine or demonstrate what was precisely expressed heretofore, and can’t be utilized to reason about what was definitely not.
Formally indicating and confirming an entire framework is unrealistic to be plausible or even
Sensible. The fitting practice is to focus the discriminating parts of the framework to be planned
furthermore, accepted, and to apply formal routines on t techniques on those parts just.
5. Conclusion and Future Work
Every discipline must learn as much, if not more, from its failures as its successes. In this spirit the literature has been reviewed systematically, to better understand past work and outlines possible avenues for future success. The review of the role of formal methods to improve requirements presented in the paper highlights the strengths of formal methods in a way that makes the requirements unambiguous, consistent, complete and precise. Specifically, it could be concluded that the use of formal methods in software development is going to be a continuing challenge for many years to come. One important observation that is being noticed in this review is implementing formal methods early in software development life cycle especially in requirements elicitation. Therefore, there appeared to be a need for establishing an alignment between requirement elicitation and formal methods that enables organizations to work on requirements that are more unambiguous, complete, verifiable, consistent, modifiable and traceable. Improving the ability to perform elicitation will also improve the likelihood that developed system will meet their intended customers’
...(download the rest of the essay above)