Title: Reliable software through composite design
Subjects: Computer programming, Computer programs