RTPA-based Software Generation by AI Programming
Yingxu Wang, James Y. Xu · 2019
AI programming toward autonomous software generation is not only a highly demanded technology by the software industry, but also a hard challenge to the theories of software engineering and computational intelligence. A methodology and tool for autonomous program generation (APG) are recently developed based on Real-Time Process Algebra (RTPA). This paper demonstrates an experimental result of autonomous code generation on a digital clock system by the APG tool. The experimental results indicate a novel approach towards AI programming for machine-enabled software generation theories and technologies.