Automated support for marrying requirements to programs

Automated support for marrying requirements to programs

For access to this article, please select a purchase option:

Buy chapter PDF
(plus tax if applicable)
Buy Knowledge Pack
10 chapters for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
Managing Complexity in Software Engineering — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Although the standard contractual model is often used to describe the relationship between a customer and software supplier, it is unfortunately the case that the contract can be fulfilled without doing what the user really wanted. Building the right system and, even before that, understanding what the right system should do is often a formidable task for both sides of the contract. Nor can the proper marriage of requirements to programs be satisfied by post hoc changes to the requirements or documenting problems as if they were features. What is needed is to make sure that the customer is fully aware of requirements and, possibly more importantly, the consequences of those requirements. This paper discusses some of the general points in this area, illustrated by reference to one particular project the UK ALVEY "FOREST" Software Engineering project concerning formal requirements specification.

Inspec keywords: contracts; formal specification; software development management; project management; customer satisfaction

Other keywords: contractual model; program requirements; UK ALVEY FOREST software engineering project; automated support; software supplier; formal requirements specification

Subjects: Software management; Software engineering techniques; Programming support

Preview this chapter:
Zoom in

Automated support for marrying requirements to programs, Page 1 of 2

| /docserver/preview/fulltext/books/pc/pbcm017e/PBCM017E_ch14-1.gif /docserver/preview/fulltext/books/pc/pbcm017e/PBCM017E_ch14-2.gif

Related content

This is a required field
Please enter a valid email address