My work on DoD ADA projects tended to focus on DoD STD 2167 (mid to late 1980s).

Sadly the review meetings focused on document structure instead of thoughtful software design and analysis. ADA didn't help; it was cumbersome to get working well, and ADA experience in the contracting agencies was low. The waterfall approach made the projects slow to implement.

https://en.wikipedia.org/wiki/DOD-STD-2167A?wprov=sfti1