Title :
A rigorous approach to structural analysis and metrication of software
Author :
Whitty, R.W. ; Fenton, N.E. ; Kaposi, A.A.
Author_Institution :
Goldsmiths´ College, Department of Mathematical Sciences, London, UK
fDate :
2/1/1985 12:00:00 AM
Abstract :
The need is argued for a rigorous and general theory of structured programming as a basis for improving software quality. Formal graph theoretic methods are developed which allow the structural modelling, metrication and reconstruction of sequential programs in terms of precisely defined general sets of basic control structures. Throughout, concepts are illustrated by examples based on actual Basic and Pascal text.
Keywords :
software engineering; structured programming; Basic; Pascal; basic control structures; graph theoretic methods; metrication of software; sequential programs; software engineering; software quality; structural analysis; structured programming;
Journal_Title :
Software & Microsystems
DOI :
10.1049/sm.1985.0002