Organization: Institute for Defense Analyses Prerequisites: N.A. Concepts: used to teach software engineering, database, or Ada programming Contents: Users Guide, sample sessions, and ideas for lab experiments
Browse OR Download (all files in .ZIP format).
Authors: Leslie Lander and Neel Madhav Organization: Binghamton University Prerequisites: N.A. Concepts: introduction to Ada 83 and features of Ada 95, including the extensions that support object-oriented programming; selected formal methods and tools that support software development, including Anna, Hoare axioms and TSL Contents: handouts, homeworks, and transparencies for a first and second course