IEEE TRANSACTIONS ON COMPUTERS, DECEMBER 1976 the aquot;software physicsaquot; lines being investigated by Halstead  and others; ... as formal, machine-readable requirements, top-down design approaches, structured programming, and automated aids to software testing. ... Management Manual [ 100], which has been used as the basis for several recent government in-house software manuals.
|Title||:||Tutorial, software design strategies|
|Author||:||Glenn D. Bergland, Ronald D. Gordon|
|Publisher||:||Institute of Electrical & Electronics Engineers(IEEE) - 1981|