Describir: Software design techniques for large ADA systems /