Part 1

Quality Assurance of a Component

To assure the quality of a software component it is necessary to prove that it’s built according to the specifications. One of the advantages of writing formal specifications is the possibility of checking that the component implementation indeed meets its specifications.