Abstract data types and the development of data structures
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Art of Software Testing
Composite Structure Design
Structured programming
Notes on Type Abstraction (Version 2)
IEEE Transactions on Software Engineering
On the Design and Development of Program Families
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
The technique of flowcharting proposed by Rothon [ROT79] (called Rothon diagrams throughout this paper) and the technique of Data Abstraction proposed by Parnas [PAR72a], [PAR72b], [PAR76] are briefly discussed along with other work that is relevant to program design. The outline of a method for utilizing these techniques to produce a top level machine testable design is presented.