Structuring requirements specifications
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...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
2009
|
| Online Access: | http://hdl.handle.net/2429/8130 |
| 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. |
|---|