Integrating Fuzzy Logic Technique in CaseBased Reasoning for Improving the Inspection Quality of Software Requirements Specifications The development success of software is essentially based on the quality of its Software Requirements Specifications (SRS). A requirement represents the main objective that needs to be accomplished, while a specification is a full description of this objective. The inspection of the Software Requirements Specification (iSRS) system is developed to ensure that the SRSs are of high quality. This paper presents the contribution of integrating a fuzzy logic technique in the Case Base Reasoning (CBR) as a reasoning framework in the iSRS system. The fuzzy logic technique provides a disambiguation mechanism within the Retrieve, Reuse, Revise, and Retain steps of the CBR cycle. Specifically, it is used as a similarity measurement technique in the matching process between the inspected SRS cases and the existing SRS cases in the CBR case base. It then classifies and labels the cases in the case base to nomatch, partialmatch and, completematch cases. This classification improves the overall reasoning and inspection of the SRS quality by comparing the inspected case with the most similar cases of the case base.

Formalization of natural language requirements into temporal logics: a survey One of the challenges of requirements engineering is the fact that requirements are often formulated in natural language. This represents difficulty if requirements must be processed by formal approaches, especially if these approaches are intended to check the requirements. In model checking, a formal technique of verification by exhaustive state space exploration, requirements must be stated in formal languages (most commonly, temporal logics) which are essentially supersets of the Boolean propositional logic. Translation of natural language requirements to these languages is a process which requires much knowledge and expertise in model checking as well the ability to correctly understand these requirements, and hence automating this process is desirable. This paper reviews existing approaches of requirements formalization that are applicable for, or at least can be adapted to generation of discrete time temporal logic requirements. Based on the review, conclusions are made regarding the practical applicability of these approaches for the considered problem.