Software: Artificial-intelligence software becomes available for minis and mainframes, and the U.S. Department of Defense converts to Ada and pushes to produce secure systems | IEEE Journals & Magazine | IEEE Xplore