H ?
«
‹
←
→
›
»
Language peer sets for Tablewise:
Designed 1994 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Tablewise(ID:8471/)
alternate simple view
Designed 1994
Decision table system developed by Honeywell for NASA, written in ML and producing Ada
The System was called TBell, and had three meanings for the name (a record?)
Related languages
RSML |
→
|
Tablewise | |
Influence |
References:
Hoover and Chen (1994) Hoover, D. N.; Chen, Zewei "TBell: A mathematical tool for analyzing decision tables" NASA Center for AeroSpace Information (CASI)
NASA-CR-195027; REPT-94-0073; NAS 1.26:195027 , 19941129; Nov 29, 1994
Abstract
Online copy
Hoover and Chen (1995) Hoover, D.N. And Chen, Z. 1995. Tablewise, a decision table tool. In Proceedings of the 10th Annual Conference on Computer Assurance (COMPASS ’95) (Gaithersburg, Md., June). IEEE, New York, 97–108.
Sherry and Hoover (1995) Sherry, Lance; and Hoover, D.N: Honeywell Software Development Project, Slides presented at the Third NASA Langley Formal Methods Workshop, May 10-12, 1995.
Heitmeyer et al (1996) Heitmeyer, Constance L.; Jeffords, Ralph D.; Labaw, Bruce G. "Automated Consistency Checking of Requirements Specifications"
ACM Transactions on Software Engineering and Methodology July 1996
Extract:
Tablewise
Hoover et al (1996) Hoover, D. N.; Guaspari, David; Humenn, Polar "Applications of Formal Methods to Specification and Safety of Avionics Software" NASA Center for AeroSpace Information (CASI) NASA-CR-4723; NAS 1.26:4723; TM-95-0091 , 19960401; Apr. 1996
Abstract
Online copy
Hoover et al (1996) Hoover, D. N; Guaspari, David; Humenn, Polar: Applications of Formal Methods to Specification and Safety of Avionics Software. NASA Contractor Report 4723, April 1996.
Resources
-
Origin of name TableWise: Meaning of the Name
TableWise once was named Tbell. Doug N. Hoover, the primary developer of the tool, said that Tbell was short for any of: TaBular Enviroment, LogicaL
T_____Bell, Tbell's secret code name, alluding to a fictional character known for being quick, small, clever, informative, etc., or
Tabella, Latin for "a small table".
-
Tablewise page at NASA Under NASA funding, Odyssey Research Associates worked with Honeywell Air Transport Systems Division (Phoenix) to study the incorporation of formal methods into the company's software development processes. In particular, ORA developed a prototype tool, called TableWise, to analyze the characteristics of decision tables.
TableWise uses a generalization of Binary Decision Diagrams to determine if a particular table is exclusive (for every combination of parameter values, at most one action can be chosen) and exhaustive (for every combination of parameter values, at least one action can be chosen). The tool is also capable of automatically generating documentation and Ada code from a decision table.
-
TBell table example TableWise: Decision Table
A decision table is a tabular format for defining the rules that choose a particular action to perform based on the values of certain parameters. An example decision table is shown below.
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|