论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
形式化方法(Formal Method)基于严格的数学理论,能产生精确、无二义性的形式规约,为软件开发提供了严格的数学基础,对提高软件的可靠性有着非常显著的作用。形式化方法要求开
【机 构】
：
江西师范大学
【出 处】
：
江西师范大学
【发表日期】
：
2007年期
其他文献
随着Web应用的日益广泛,需求的变化也越来越多,用户希望提升操作体验,企业希望能够降低软件开发费用、最大化现有技术的利用、快速应对业务决策的改变。而以传统的方式来开发
随着计算机应用范围的扩大，需要计算机处理的数据量也越来越大，在很多领域里，常采用OMR(光学标记阅读机)来解决大规模数据的采集、识别和录入的问题。虽然OMR解决了一些填涂信息
面向对象模型是基于面向对象的设计方法而建立的模型,是面向对象的核心思想,它模拟人的思维方式,尽可能地使程序的结构和实现与其所描述的现实世界保持一致,亦即充分保证计算
随着互联网技术与应用的迅速发展,Web服务作为部署在互联网上的组件,展现出良好的封装性、松耦合性以及跨平台性。因此,Web服务迅速成为了人们关注的焦点。近年来,互联网上出
随着web的迅速发展，人们从互联网上可以获取资料变得越来越多。与此同时，互联网也以其巨大的信息量给人们带来了前所未有的冲击。在用户利用web搜索引擎查找信息的过程中，往往出
无线传感器网络是一种新型的、无基础设施的、自组织的无线网络。近年来随着微电子技术、传感器技术及通信技术的发展,无线传感器网络技术发展迅猛,进展很快,而且在军事与民
Web2.0作为新一代互联网时代有着比Web1.0时代更为鲜明的特征和更广泛的用户群。在Web2.0浪潮迅猛发展的过程中,数据库管理已经成为各大Web2.0公司的核心竞争力。因此,开发基
计算机辅助设计开始发展于20世纪60年代,在工业设计中扮演着非常重要的角色,已经广泛的应用于工业设计的各个方面。随着科技的发展与时代的进步,人们对产品外观造型的要求逐
随着Web的迅猛发展,因特网上的资源越来越丰富,已经成为一个巨大的全球化信息仓库。Web上的资源不仅包括传统的有严格数据模型的数据库,如关系数据库和面向对象的数据库,而且