刘谢进
【姓名】 刘谢进
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 实现,软件自动化,软件开发,自动化,规格说明,归纳综合,程序转换,软件,设计规格说明,抽象级,开发过程,小型程序,实例归纳,自动程序设计,程序变换,需求描述,综合途径,穴性,构造性证明,技术与发展,
【工作单位】 淮南师范专科学校
【曾工作单位】 淮南师范专科学校;
【所在地域】
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 0 1 1 27
中国期刊全文数据库    共找到1篇
[1]刘谢进.浅谈软体自动化的实现[J]淮南师专学报.1999,(03)
更多