Table-based specification techniques
Imen Bourguiba, Ryszard Janicki · 2009
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 was discussed.