| 信息对象开放式采集系统的形式化描述 |
| |
| 引用本文： | 赵正旭,张常有,刘立嘉.信息对象开放式采集系统的形式化描述[J].微电子学与计算机,2010,27(8). |
| |
| 作者姓名： | 赵正旭 张常有 刘立嘉 |
| |
| 作者单位： | 石家庄铁道大学信息科学技术学院,河北石家庄,050043 |
| |
| 基金项目： | 国家自然科学基金，河北省自然科学基金 |
| |
| 摘 要： | 为获得研究对象的描述特征,设计一种面向Internet的开放式采集系统.该系统的主要功能包括信息对象的登记、登记信息查询、对象信息录入、对象修改、对象浏览等.在此基础上.使用Z规范对系统需求进行了形式化描述,能够有效避免二义性,并有利于系统的进一步模型检测.
|
| 关 键 词： | 信息对象 采集系统 Z规范 形式化 |
The Formalization of Open Collection System of Information Objects |
| |
| ZHAO Zheng-xu,ZHANG Chang-you,LIU Li-jia.The Formalization of Open Collection System of Information Objects[J].Microelectronics & Computer,2010,27(8). |
| |
| Authors: | ZHAO Zheng-xu ZHANG Chang-you LIU Li-jia |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
