| Summary: | 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. === Science, Faculty of === Computer Science, Department of === Graduate
|
|---|
