Ensuring that this set of high level requirements is consistent, complete, correct, and operationally defined.
Developing partitioning algorithms (and other processes) to allocate all present and foreseeable requirements into discrete partitions such that a minimum of communications is needed among partitions, and between the user and the system.