Z规范

作品数:11被引量:13H指数:2
导出分析报告
相关领域:自动化与计算机技术理学更多>>
相关作者:赵正旭张常有刘立嘉张乃孝李景峰更多>>
相关机构:石家庄铁道大学山东大学北京大学西安电子科技大学更多>>
相关期刊:《计算机技术与发展》《地球物理学报》《湖州师范学院学报》《西安电子科技大学学报》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划河北省自然科学基金中央高校基本科研业务费专项资金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=微电子学与计算机x
条 记 录,以下是1-1
视图:
排序:
信息对象开放式采集系统的形式化描述被引量:1
《微电子学与计算机》2010年第8期20-23,共4页赵正旭 张常有 刘立嘉 
国家自然科学基金项目(60873208);河北省自然科学基金项目(F2009000929)
为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上,使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并...
关键词:信息对象 采集系统 Z规范 形式化 
检索报告 对象比较 聚类工具 使用帮助 返回顶部