USA flag logo/image

An Official Website of the United States Government

User-interfaces for Rule-Based Formal-Methods Environments

Award Information

Agency:
Department of Defense
Branch:
Navy
Award ID:
28526
Program Year/Program:
1996 / SBIR
Agency Tracking Number:
28526
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
GrammaTech, Inc
531 Esty Street Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 1996
Title: User-interfaces for Rule-Based Formal-Methods Environments
Agency / Branch: DOD / NAVY
Contract: N/A
Award Amount: $300,000.00
 

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.

Principal Investigator:

Paul Anderson
6072737340

Business Contact:

Small Business Information at Submission:

Grammatech, Inc.
One Hopkins Place Ithaca, NY 14850

EIN/Tax ID:
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No