Page 1 of 1
The Journal of Military Electronics & Computer
Ada 2012: A New Language for Safe and Secure Software
Building on a tradition of success in mil/areo systems, a new version of the Ada language has emerged. It features “contract-based programming” that blends well with the requirements-based world of military programs.
BENJAMIN M. BROSGOL, SENIOR TECHNICAL STAFF, ADACORE
Keywords in this Article: