User-interfaces for Rule-Based Formal-Methods Environments

Award Information
Agency:
Department of Defense
Branch
Navy
Amount:
$300,000.00
Award Year:
1996
Program:
SBIR
Phase:
Phase II
Contract:
n/a
Agency Tracking Number:
28526
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
Grammatech, Inc.
One Hopkins Place, Ithaca, NY, 14850
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Paul Anderson
(607) 273-7340
Business Contact:
() -
Research Institution:
n/a
Abstract
Formal methods offer great promise for the elimination of errors in software, but before they can be widely adopted in industry, they must be supported by good tools readily acceptable to professional programmers. Existing formal-methods tools are hobbled by (1) weak user-interfaces, and (2) severely limited capabilities for integration with other tools. GrammaTech seeks to remedy these problems by developing a professional-quality, standards-compliant, customizable, portable, common interface tailored to formal-methods applications. By effectively combining its commercial editor/ interface-generation technology, the Synthesizer Generator, and the emerging commercial technologies for component software, OLE and OpenDoc, GrammaTech aims to build a generic formal methods interface (FMI) that facilitates widespread adoption of formal methods in industry.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government