Hacker News new | ask | show | jobs
by budman1 59 days ago
waterfall and ada.

you used to have a thing called preliminary design (i think is specified in 2167A).

with ada, you write all the specs. so, all of the packages procedures / functions and visible variables are declared.

Feed this to the compiler. Does it compile? If yes, then your design is complete.

Implement the bodies during detail design.