邹姝稚
【姓名】 邹姝稚
【职称】 讲师;
【研究领域】 计算机软件及计算机应用;数学;教育理论与教育管理;
【研究方向】 形式化与程序设计方法学研究
【发表文献关键词】 元数学,计算机科学理论,设计结构图,计算机科学,数理逻辑,完备性,并发面向对象,类图编辑器,相容性,可计算函数,面向对象,并发面向对象模型,图形语言,Coad/Yourdon方法,不变式,对半检索,支...
【工作单位】 扬州大学
【曾工作单位】 扬州大学;
【所在地域】 江苏扬州
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/8 3 0 8 19 287
中国期刊全文数据库    共找到8篇
[1]邹姝稚,唐立中.Rosser公式对偶形的存在及推导[J]河海大学学报(自然科学版).2000,(03)
[2]邹姝稚.对Wirth一个不变式的修正[J]河海大学学报(自然科学版).2000,(06)
[3]邹姝稚.考试形成如何适应素质教育[J]教育发展研究.2000,(11)
[4]邹姝稚,张再跃,郭振民.计算机科学若干概念的元数学刻划[J]现代电子技术.2000,(06)
[5]邹姝稚,郭振民.面向对象的设计结构图与类图编辑器研究[J]现代电子技术.2000,(11)
[6]邹姝稚.适应高校素质教育的考试形式研究[J]扬州大学学报(高教研究版).2000,(04)
[7]邹姝稚,徐宝文.基于DSD的并发面向对象图形语言研究[J]扬州大学学报(自然科学版).2000,(04)
[8]邹姝稚,郭振民.Coad/Yourdon建模方法的改进与支撑系统研究[J]现代电子技术.2001,(01)
更多