TBell: A mathematical tool for analyzing decision tables
D. N. Hoover, Zewei Chen · NASA Technical Reports Server (NASA) · 1994
This paper describes the development of mathematical theory and software to analyze specifications that are developed using decision tables. A decision table is a tabular format for specifying a complex set of rules that chooses one of a number of alternative actions. The report also describes a prototype tool, called TBell, that automates certain types of analysis.