Structuring requirements specifications

• Main Author: Khanna, Vittu
• Language: English
• Published: 2009
• Online Access: http://hdl.handle.net/2429/8130

Structure is used to enhance the understandability of source code comprising a software-system. To study whether structure may enhance the understandability of software requirements specifications, this thesis investigates the application of two source code comprehension tools, Software Reflexion Models and Rigi, to requirements specifications. Two example specifications are studied using the tools. Further, a component (or scope) primitive for the Z specification language is proposed to help add structure to requirements. The example specifications in the extended Z have been rewriten using the component primitive. We conclude that this extension may not only help in increased comprehension but also in the prevention of some errors.