首页>
外国专利>
Rule based system for synthesizing a program suited for a target system in response to an input target system specification
Rule based system for synthesizing a program suited for a target system in response to an input target system specification
展开▼
机译:基于规则的系统,用于响应输入的目标系统规范来合成适合目标系统的程序
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼