classes of software so software suppliers and acquirers can represent
their claims and arguments
u Verification of products, ensuring satisfactory characteristics for system
integrators who will use those products to build larger assured systems