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.