- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Structuring requirements specifications
Open Collections
UBC Theses and Dissertations
UBC Theses and Dissertations
Structuring requirements specifications Khanna, Vittu
Abstract
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.
Item Metadata
| Title |
Structuring requirements specifications
|
| Creator | |
| Publisher |
University of British Columbia
|
| Date Issued |
1998
|
| Description |
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.
|
| Extent |
6506896 bytes
|
| Genre | |
| Type | |
| File Format |
application/pdf
|
| Language |
eng
|
| Date Available |
2009-05-25
|
| Provider |
Vancouver : University of British Columbia Library
|
| Rights |
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.
|
| DOI |
10.14288/1.0051603
|
| URI | |
| Degree | |
| Program | |
| Affiliation | |
| Degree Grantor |
University of British Columbia
|
| Graduation Date |
1998-11
|
| Campus | |
| Scholarly Level |
Graduate
|
| Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.