System means for synthesizing, generating and checking software for a computer
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Mar 31, 1992
Issued Date -
N/A
app pub date -
Jan 21, 1988
filing date -
Aug 19, 1983
priority date (Note) -
Expired
status (Latency Note)
Importance
Abstract
A synthesizer means for generating software for a computer which is programmed for controlling a physical system. The software generated by the synthesizer represents a new function to be incorporated in the existing system. The synthesizer includes a device for receiving a formal description representative of the new function in a specification language and for translating the specification into a base document. The base document is further processed by document processing devices for handling the static, interface and dynamic parts of the description to produce an error-free base document. The complete base document is translated by an information processing device into an internal code document which is used by a check device and a simulation device. A compiling device translates the internal code document into an intermediate code document suitable for input to said computer.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully