Title :
Ensuring the quality and maintainability of software elements
Author :
Thompson, John Barrie
Author_Institution :
Sch. of Comput. Studies & Math., Sunderland Polytech., UK
Abstract :
Summary form only given. A major impact on software development has been the increasing acceptance of systematic and structured system design approaches such as SSADM (Structured Systems Analysis and Design Method). However, they do little to ensure the quality and maintainability of the final implemented software elements. Two software engineering approaches have been developed by researchers within the Commercial Software Engineering Group at Sunderland Polytechnic to address these problems. The first method termed Structured Technique for Program Specification (STePS), uses the products of a method such as SSADM to identify the programs in a system and then using well-established design techniques develops the specification for the software components of these programs. The second approach is the use of a software quality assurance tool which checks the developed code against the well defined installation standards which will have been included in the STePS specification
Keywords :
formal specification; quality control; software maintenance; software tools; systems analysis; SSADM; STePS specification; Structured Systems Analysis and Design Method; Structured Technique for Program Specification; software development; software engineering approaches; software quality assurance tool; structured system design;
Conference_Titel :
Designing Quality into Software Based Systems, IEE Colloquium on
Conference_Location :
London