Rule based system for synthesizing a program suited for a target system in response to an input target system specification
US5084813A · kind A · utility
58Cited by
10References
10Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Apr 19, 1989 |
| Grant date | Jan 28, 1992 |
| Priority date | — |
| Expiry date | Apr 19, 2009 |
Classification
- Technology area (CPC Y)Emerging Cross-Sectional Technologies
- CPC primaryY10S706/922
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An automatic program synthesizer receives a system specification and searches software parts suited to the specification. In order to obtain a function satisfying the system specification, the searched software parts are corrected or converted in accordance with a knowledge base for customizing a programming form stored therein.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.