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...

Full description

Bibliographic Details
Main Author: Khanna, Vittu
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