Specification format:
We can write the specification in a standard three part format:
1. The name of the algorithm and the inputs
2. Input : the property of the inputs
3. Output : the desired input – output relation
The first part is the name of the algorithm and the inputs. The second part is the property of the inputs. It is written as a comment which starts with – inputs: The third part is the desired input – output relation. It is written as a comment which starts with – outputs:. The input and output can be written using English and mathematical notation.