Table-based Specification Techniques

Table-based specification techniques are both readable and convenient. They allow to represent the specifications of systems in a very compact and precise manner. They also make checking such important properties as consistency and completeness natural and relatively easy. Five table-based specification techniques will be discussed.