A "specification" is a description. Most commonly, it implies one of a problem. Which when translated becomes one of its solution. A formal one might be drawn with the exactness of recorded measures and numbers. Such that ambiguity would not arise. When, it is interpreted and solved. The documents who delineate what a computer program must do ( the problem it must solve) are called "program (problem) specifications".