Academic
Publications
Tablewise, a decision table tool

Tablewise, a decision table tool,10.1109/CMPASS.1995.521890,D. N. Hoover,Zewei Chen

Tablewise, a decision table tool   (Citations: 21)
BibTex | RIS | RefWorks Download
Decision tables are widely used for specifying finite functions, such as finite state transitions. We have developed a tool, Tablewise, that tests decision tables for consistency and completeness, displaying possible inputs for which no output or more than one output is specified. Tablewise also supports a novel form of structural analysis that localizes flaws that cause decision tables to be inconsistent or incomplete. Tablewise can generate Ada code implementing the function defined by a decision table and can generate English-language documentation describing that function. Tablewise uses algorithms based on variants of binary decision diagrams
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Hoover and Chen [11] proposed decision tables to define functions and relations...
    • ...No logical symbols are used since the logical connectives are expressed by the table structure it­ self [11]...
    • ...For instance, in Table 12 (example borrowed from [11]), the engagement criterion of Takeoff is shown in Figure 3...
    • ...For the decision tables [11], the check for consistency con­ sists in verifying that there is no overlap between different operational procedures...
    • ...In order to have a more compact notation, Hoover and Chen [11] came up with par­ tionned decision tables...
    • ...In order to check for properties such consistency and com­ pleteness, most of the techniques use a similar way check­ ing for tautologies, except for decision tables (Hoover and Chen [11]), where the check for consistency and complete­ ness was elaborated at a primitive level as previously dis­ cussed at section 7...

    Imene Bourguibaet al. Table-based specification techniques

    • ...The reports [3] and [4], describe a completely different approach to the problem: 1 the computer...

    Michael Breen. Combinatorial completion by rule definition with interactive value col...

    • ...While the value of tabular notation has often been demonstrated [4, 5, 3, 6, 11], we believe that well designed tools can reduce both the eort needed to write tabular expressions and the number of errors in the documentation...
    • ...The reader is referred to [16, 7, 6] for descriptions of table types and interpretations...

    David Lorge Parnaset al. An Easily Extensible Toolset for Tabular Mathematical Expressions

    • ...Many authors have found that relational documentation, written using tabular expressions, is precise and readable [11], [7], [15], [12], [16], [25], [27]...

    Dennis K. Peters. Using Test Oracles Generated from Program Documentation

    • ...<{[SECTION]}>to reveal flaws in software early in the design phase [3,8,10,12]...

    David Y. W. Parket al. Static Analysis to Identify Invariants in RSML Specifications

Sort by: