A rigorous behavioral specification can greatly reduce risk by exposing ambiguities in requirements and making explicit otherwise tacit information. Such an external, or black box specification can be developed from behavioral requirements in a systematic manner through the process of sequence enumeration. This process results in an arguably complete, consistent, and traceable specification of external system behavior. Sequence abstraction provides a powerful means to manage and focus the enumeration process.