The DARPA Software Engineering Foundations Program focuses on technology for developing and supporting high assurance software systems and on technology related to languages used in systems integration. This program includes trusted systems, software understanding, and composition methods.