Specification

A specification is a way to describe computer-solveable problems and test them, before making the real program.
A specification consists of four parts:

|---------------------|
|       |             |
|       | export      |
|common |-------------|
|param- |             |
|eters  | body        |
|       |-------------|
|       |             |
|       | import      |
|---------------------|

export: all the own things you want other specifications to use
body: here is the work done
import: things from other specifications you need
common parameters: The things you im- AND export (ex. imported types which are used in the export)
Please note:
Import!=import (Import=import AND common parameters)
Export!=export (Export=export AND common parameters)
The body consists of the type construction with its operationspecifcations (these are equations which implement your algorithm).

Spec`i*fi*ca"tion (?), n. [Cf. F. sp'ecification, LL. specificatio.]

1.

The act of specifying or determining by a mark or limit; notation of limits.

This specification or limitation of the question hinders the disputers from wandering away from the precise point of inquiry. I. Watts.

2.

The designation of particulars; particular mention; as, the specification of a charge against an officer.

3.

A written statement containing a minute description or enumeration of particulars, as of charges against a public officer, the terms of a contract, the description of an invention, as in a patent; also, a single article, item, or particular, an allegation of a specific act, as in a charge of official misconduct.

 

© Webster 1913.