Abstract
Requirements change management is one of the most complex and difficult problems to deal with in requirements elicitation and tracking. It is generally not understood how a specific change propagates through the specification and into implementation. In this paper, we propose to capture requirements changes as a series of atomic specification changes, and utilize state machines to model and manage those changes. We give a comprehensive treatment of state machine modifications with global impact, and propose twelve algorithms for managing all possible atomic requirements changes to a sequence-based specification. Finally, we demonstrate how to apply the proposed theory with a safe controller example.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
