Mathematics, Computer Science and Logic - A Never Ending Story by Peter Paule

Author:Peter Paule
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

2.2 Sorting Out Requirements

The goal of requirements engineering is to identify and document all the requirements of the software system under construction. The first step is to prepare the requirements capture. In the requirements capture the basic requirements of software systems are identified and made precise. This activity is crucial since, if the requirements are captured incorrectly, then the resulting system will be useless, will not function in a correct way, will not address the users needs, or will be more expensive and more complex than necessary. Therefore, to find out what the actual requirements of an application system are is an important, difficult, and often painful and error prone process.

Software systems and their behaviour are highly abstract artefacts. For many users it is very difficult to imagine the functioning of software systems and all the consequences of their operation in advance. Therefore we need techniques to capture the requirements and show the consequences of imposing all kinds of requirements. Again logic can help here.

Typically requirements as they are collected from different stakeholders tend to be contradictory and inconsistent. Logic can help to define what consistency means, to analyse inconsistencies and give hints how they may be resolved.

In requirements engineering we find an interesting interplay between formal techniques from logic and algebra, techniques from domain modelling, psychology, and general techniques for structuring problems.

Roughly we can structure the process and activities of requirements engineering into the following major tasks: Requirements capture, identification, decision, and agreement,

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.