徐家福
【姓名】 徐家福
【职称】 教授;
【研究领域】 计算机软件及计算机应用;自动化技术;数学;
【研究方向】 新型程序设计、软件自动化和自然语言理解等方面研究工作
【发表文献关键词】 算法构架,归纳学习,归纳结论,软件自动化,软件复用,构造型,程序,确认方法,规格说明,构件块,可满足性,一致性准则,图序类别型构,函数功能,程序转换,程序推导,解释学,功能规约,演算,构造规则,叶结点...
【工作单位】 南京大学
【曾工作单位】 南京大学;
【所在地域】 江苏南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/69 25 16 24 280 4645
中国期刊全文数据库    共找到67篇
[1]朱正文;徐家福;.量子程序设计语言NDQJava2处理系统——汇编程序与解释程序[J]计算机科学与探索.2013,(08)
[2]程振伟;徐家福;.量子程序设计语言NDQJava2处理系统——词法分析程序及语法分析程序[J]计算机科学与探索.2013,(06)
[3]蔡希辉;徐家福;.量子程序设计语言NDQJava2处理系统——代码转换程序[J]计算机科学与探索.2013,(07)
[4]刘玲;徐家福;.量子程序设计语言NDQJava-2[J]软件学报.2011,(05)
[5]徐家福;宋方敏;钱士钧;戴静安;张云洁;.量子程序设计语言NDQJava[J]软件学报.2008,(01)
[6]宋方敏;钱士钧;戴静安;张云洁;徐家福;.量子程序设计语言NDQJava处理系统[J]软件学报.2008,(01)
[7]徐家福;宋方敏;.量子程序设计语言初探[J]中国科学(E辑:信息科学).2008,(06)
[8]李茜;凌辉;许晓春;徐永森;徐家福;.一组基于三级度量模型的面向对象度量准则[J]计算机科学.2001,(02)
[9]凌辉;李茜;许晓春;徐永森;徐家福;.从用例模型到基于使用测试模型的转化[J]计算机科学.2001,(02)
[10]张家重,徐家福.对象式软件需求定义及其自动转换的研究[J]自然科学进展.1999,(03)
更多