"Software Component Engineering in Ada: A Disciplined Approach" -- two-day course available on request; covering reusable component engineering design principles, formal specification, efficient implementation, modular testing and verification; based on the RESOLVE/Ada discipline described in Joseph E. Hollingsworth's Ph.D. dissertation (which is provided to attendees).
If you know of Internet-accessible information source(s) that should be included in the WWW Virtual Library,
david-eichmann@uiowa.edu