Title: Software design techniques for large Adasystems
Subjects: Ada (Computer program language), Computer software, Development