Accession Number : ADP006470

Title :   A Survey of Available Tools and Methods for Software Requirements Capture and Design,

Corporate Author : GEC-MARCONI LTD STANMORE (UNITED KINGDOM)

Personal Author(s) : Thewlis, D. J.

Report Date : SEP 1991

Pagination or Media Count : 7

Abstract : Software Quality is to a large extent determined by how well the developers follow the principle of Data Hiding, Low Coupling and High Cohesion. Current design tools provide good support for the first two of these concepts; support for high cohesion is less good. The newer methods, based on object oriented principles, retain the advantages gained by current methods and support high cohesion. Formal methods, which to date have promised much more than they have produced, may gain a new lease of life as -object oriented methods become more popular. The greater encapsulation provided by these methods may make the use of formal methods feasible on quite reasonably sized systems.

Descriptors :   *COMPUTER PROGRAM VERIFICATION, *QUALITY ASSURANCE, COHESION, COUPLINGS, ENCAPSULATION, GAIN, QUALITY, TOOLS, REQUIREMENTS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE