Beyond structured programming

Authors:
S. Pan;R. G. Dromey
Affiliations:
Software Quality Institute, Griffith University, Nathan, Qld, Australia;Software Quality Institute, Griffith University, Nathan, Qld, Australia
Venue:
Proceedings of the 18th international conference on Software engineering
Year:
1996

Citing 9
Cited 2

Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I
Predicate calculus and program semantics

Predicate calculus and program semantics
Software engineer's reference book

Software engineer's reference book
Properties of Programs and the First-Order Predicate Calculus

Journal of the ACM (JACM)
On the criteria to be used in decomposing systems into modules

Communications of the ACM
PASCAL user manual and report

PASCAL user manual and report
Cornering the Chimera

IEEE Software
Programming with abstract data types

Proceedings of the ACM SIGPLAN symposium on Very high level languages
Structured programming

Structured programming

Cornering the Chimera

IEEE Software
On the Practical Static Checker of Semantic Run-Time Errors

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Structured programming principles are not strong enough to control complexity and guarantee high reliability of software at the module level. Stronger organizing principles and stronger properties of components are needed to make significant gains in the quality of software. Practical proposals, based on the definition of normal forms which have a mathematical/logical foundation, are suggested as a vehicle for constructing software that is both simpler and of higher quality with regard to clearly defined and justifiable criteria.