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