The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
Communications of the ACM
Logical Construction of Systems
Logical Construction of Systems
Systematic Programming: An Introduction
Systematic Programming: An Introduction
A Discipline of Programming
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Principles of Program Design
Reliable software through composite design
Reliable software through composite design
Experience with an Approach to Comparing Software Design Methodologies
IEEE Transactions on Software Engineering
M.H. Halstead's Software Science - a critical examination
ICSE '82 Proceedings of the 6th international conference on Software engineering
Resolving feature convolution in middleware systems
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
| Hi-index | 0.00 |
This tutorial considers the structure and construction of reliable software. By way of introduction, several of the structured programming and software engineering techniques are classified into three groups; those which impact primarily on the program structure, the development process, and the development support tools. Structural Analysis Concepts are described which have their major impact at the code level, the module level, and the system level. Finally, three of the major structured design methodologies which have been reported in the literature are developed and compared. Functional Decomposition, the Data Flow Design Method, and the Data Structure Design Method are described, characterized, and applied to a specific example. While no one design methodology can be shown to be “correct” for all types of problems, it is felt that these three can cover a variety of applications. An “interim” approach for large software design problems is suggested which may be useful until an accepted “correct” methodology comes along.