Verification measures for software units, for software component integration and for software verification are specified Software units are verified with specified verification measures, and the verification results are recorded Software components are integrated up to a complete integrated software, the integration is verified with specified verification measures, and the verification results are recorded Integrated software is verified with specified verification measures and the results of software verification are recorded Horizontal traceability is established on all levels