The sepecification of the project