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: | |
---|---|
Format: | Others |
Language: | English |
Published: |
2009
|
Online Access: | http://hdl.handle.net/2429/8130 |
id |
ndltd-UBC-oai-circle.library.ubc.ca-2429-8130 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-UBC-oai-circle.library.ubc.ca-2429-81302018-01-05T17:34:05Z Structuring requirements specifications Khanna, Vittu 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 2009-05-25T19:56:22Z 2009-05-25T19:56:22Z 1998 1998-11 Text Thesis/Dissertation http://hdl.handle.net/2429/8130 eng 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. 6506896 bytes application/pdf |
collection |
NDLTD |
language |
English |
format |
Others
|
sources |
NDLTD |
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. === Science, Faculty of === Computer Science, Department of === Graduate |
author |
Khanna, Vittu |
spellingShingle |
Khanna, Vittu Structuring requirements specifications |
author_facet |
Khanna, Vittu |
author_sort |
Khanna, Vittu |
title |
Structuring requirements specifications |
title_short |
Structuring requirements specifications |
title_full |
Structuring requirements specifications |
title_fullStr |
Structuring requirements specifications |
title_full_unstemmed |
Structuring requirements specifications |
title_sort |
structuring requirements specifications |
publishDate |
2009 |
url |
http://hdl.handle.net/2429/8130 |
work_keys_str_mv |
AT khannavittu structuringrequirementsspecifications |
_version_ |
1718587875847569408 |