A Logic-Based Framework for the Management of Changing Software Requirements

Requirement change management is very critical and the most important aspect in the software development. Changings unleash themselves during all the stages of software development. Hence we must need to have some effective techniques to tackle these changings. Basically change is a transition from current way of working to another looked-for way and this nature of the change coupled with complexity of services create problems. This paper depicts the main hurdles in the change management like dependability, traceability etc. and efficient tools to cope these changes so that it would not affect the stability. Ultimate aim is to propose a framework to manage this important trait in the process of software development.