Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(5)
Binary Decision Diagram
Decision Table
English Language
State Transition
Structure Analysis
Related Publications
(4)
Requirements Specification for ProcessControl Systems
Completeness and consistency analysis of statebased requirements
Tbell: A mathematical tool for analyzing decision tables
Precise Documentation of WellStructured Programs
Subscribe
Academic
Publications
Tablewise, a decision table tool
Tablewise, a decision table tool,10.1109/CMPASS.1995.521890,D. N. Hoover,Zewei Chen
Edit
Tablewise, a decision table tool
(
Citations: 21
)
BibTex

RIS

RefWorks
Download
D. N. Hoover
,
Zewei Chen
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 Englishlanguage documentation describing that function. Tablewise uses algorithms based on variants of binary decision diagrams
Conference:
Annual Conference on Computer Assurance  CMPASS
, 1995
DOI:
10.1109/CMPASS.1995.521890
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.
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
Citation Context
(11)
...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 Bourguiba
,
et al.
Tablebased 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 Parnas
,
et 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. Park
,
et al.
Static Analysis to Identify Invariants in RSML Specifications
References
(16)
Structured analysis and system specification
(
Citations: 846
)
Tom Demarco
Published in 1978.
Strategies for real time system specification
(
Citations: 395
)
D. Hatley
,
I Pirbhai
Published in 1988.
Structured development for realtime systems
(
Citations: 374
)
P. T. Ward
,
S. J. Mellor
Published in 1986.
A DecisionTableBased Processor for Checking Completeness and Consistency in RuleBased Expert Systems
(
Citations: 105
)
Brian J. Cragun
,
Harold J. Steudel
Journal:
International Journal of Humancomputer Studies / International Journal of Manmachine Studies  IJMMS
, vol. 26, no. 5, pp. 633648, 1987
A Tutorial on Specification and Verification Using PVS
(
Citations: 21
)
N. Shankar
Published in 1993.
Sort by:
Citations
(21)
Tablebased specification techniques
Imene Bourguiba
,
Ryszard Janicki
Conference:
International Conference on Computers & Industrial Engineering  CIE
, 2009
Combinatorial completion by rule definition with interactive value colouring
Michael Breen
Journal:
ACM Sigsoft Software Engineering Notes
, vol. 30, no. 2, pp. 16, 2005
LFM2000: Fifth NASA Langley Formal Methods Workshop
(
Citations: 3
)
C. Michael Holloway
Published in 2000.
Applying Formal Methods to an Information Security Device: An Experience Report
(
Citations: 9
)
James Kirby Jr.
,
Myla Archer
,
Constance L. Heitmeyer
Conference:
HighAssurance Systems  HASE
, pp. 8188, 1999
An Easily Extensible Toolset for Tabular Mathematical Expressions
(
Citations: 6
)
David Lorge Parnas
,
Dennis K. Peters
Conference:
Tools and Algorithms for Construction and Analysis of Systems  TACAS
, pp. 345359, 1999