Title: Logical Formalism for Requirements Analysis and Validation

Speaker: Richa Sharma

Abstract: Requirements Analysis is a crucial phase in software development life-cycle. This phase only sets up and finalizes the expectations from the software. However, ambiguity, inconsistency and incompleteness are major concerns in requirements faced by the software industry. In this talk, we will discuss the challenges in requirements analysis and validation and how Logical Representations offer a possible solution to the inconsistency concern with requirements. We shall discuss in detail various logical forms and which form is desirable for specifying the requirements. We shall also present the challenges in adoption of logical formalism in industry as well as possible solution to the same.