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
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder