Function Composition Tool
Software Engineering Research Group
McMaster University, Hamilton, Ontario L8S 4L7, Canada
Experience has shown that the issue of software documentation
cannot be ignored if safe reliable software is the goal.
To be useful, software documentation should be easy to manipulate.
Function tables are a natural way of documenting software
through the use of mathematical tabular notation.
The need has been expressed for a tool to automatically generate the
mathematical composition of two function tables,
which would document the sequential execution of two programs.
The Function Composition Tool is a prototype toward this end.
The tool is based on existing algorithms using normal function tables,
and their extensions to vector function tables.
This work involves the design and implementation of the software.
Supporting software enables the execution of test suites on the tool.