I took a course exactly like that. I wonder if we went to the same school, or it’s due to curriculum standardization. The professor was particularly enthusiastic about Ada, so I had assumed the course was largely his creation.
the accreditation was through ABET at the time from what I recall
academics loved ada when it came out. it was a very sophisticated language for it's day.
same is true today. the spec/body separation made for an actual delineation between design and implementation.