1. In a data processing system, a method for identifying errors in code of a program having objects and specifications that specify dependencies among abstract components of objects of the program, the method comprising the steps, performed by the data processing system of: a) analyzing the code in the program to determine dependencies in the code among abstract components of objects of the program; b) comparing the dependencies specified by the specifications with the dependencies which were determined by the analyzing step to locate any missing dependencies that are specified by the specifications but lacking in the code; and c) identifying errors associated with the missing dependencies.