RTPA-based Software Generation by AI Programming

机译：基于RTPA的软件生成AI编程

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

机译：通过软件行业的AI编程不仅是一种高度要求的技术，而且对软件工程和计算智能理论也是一个艰难的挑战。自主的方法和工具

著录项

来源
《IEEE International Conference on Cognitive Informatics and Cognitive Computing》|2019年|1 v.|共6页
会议地点
作者
Yingxu Wang; James Y. Xu;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词
AI programming; code generation; software science; software engineering; denotational mathematics; Real-Time Process Algebra (RTPA); experiment;

机译：AI编程;代码生成;软件科学;软件工程;指出数学;实时过程代数（RTPA）;实验;

相似文献

外文文献
中文文献
专利

1. Next-Generation Software Verification: An AI Perspective [J] . Nejati Shiva IEEE Software . 2021,第3期

机译：下一代软件验证：AI透视
2. AI Software Learns to Make AI Software [J] . Simonite Tom Technology review . 2017,第3期

机译：AI软件学会制作AI软件
3. On the Automatic Generation of Optimized Software-Based Self-Test Programs for VLIW Processors [J] . IEEE transactions on very large scale integration (VLSI) systems . 2014,第4期

机译：自动为VLIW处理器生成基于软件的优化自测程序
4. RTPA-based Software Generation by AI Programming [C] . Yingxu Wang, James Y. Xu IEEE International Conference on Cognitive Informatics and Cognitive Computing . 2019

机译：通过AI编程生成基于RTPA的软件
5. Computer-Assisted Drug Discovery Part I: Design, Development, Validation and Application of FRESH, a Novel In-Silico High-throughput Screening Program Part II: Monocarbonyl Curcumin Analogues: Heterocyclic Pleiotropic Kinase Inhibitors that Mediate Anticancer Properties Part III: Development of 2nd Generation NAMFIS Software Program [D] . Shi, Qi 2014

机译：计算机辅助药物发现，第一部分：FRESH的设计，开发，验证和应用，一种新型的硅中高通量筛选程序第二部分：单羰基姜黄素类似物：介导抗癌特性的杂环多效性激酶抑制剂第三部分：第二代药物的开发NAMFIS软件程序
6. Next Generation Multilocus Sequence Typing (NGMLST) and the Analytical Software Program MLSTEZ Enable Efficient Cost-Effective High-Throughput Multilocus Sequencing Typing [O] . Yuan Chen, Aubrey E. Frazzitta, Anastasia P. Litvintseva, -1

机译：下一代多基因座序列分型（NGMLST）和分析软件程序MLSTEZ实现了高效高性价比高通量的多基因座测序分型
7. Architecture description language (ADL)-driven software toolkit generation for architectural exploration of programmable SOCs [O] . Prabhat Mishra 2015

机译：架构描述语言（aDL）驱动的软件工具包生成，用于可编程sOC的架构探索
8. Topical Hazard Evaluation Program, Assessment of the Relative Toxicity of Candidate Insect Repellants, AI3-36465, AI3-37410, AI3-37414, AI3-37416, AI3-37577, AI3-38661, AI3-54169, AI3-54170, AI3-20698, AI3-38142, AI3-39672. U.S. Department of Agriculture Proprietary Chemicals Study Nos. 75-51-0797-92 through 75-51-0804-92, and 75-51-0828-92 through 75-51-0830-92. [R] . 1992

机译：局部危害评估计划，候选昆虫驱虫剂的相对毒性评估，aI3-36465，aI3-37410，aI3-37414，aI3-37416，aI3-37577，aI3-38661，aI3-54169，aI3-54170，aI3-20698 ，aI3-38142，aI3-39672。美国农业部专有化学品研究编号75-51-0797-92至75-51-0804-92，和75-51-0828-92至75-51-0830-92。

RTPA-based Software Generation by AI Programming

摘要

著录项

相似文献

相关主题

期刊订阅