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 pack

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.