论文部分内容阅读
本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。
基于B语言的构件精化开发方法
【摘 要】
：
本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。
【机 构】
：
怀化学院,湖南师范大学数学与计算机学院
【出 处】
：
电脑知识与技术：学术交流
【发表日期】
：
2007年11期
【基金项目】
：
怀化学院资助科研项目
其他文献
广西壮族自治区地方标准《广西绿色建筑评价》编制过程中,根据广西特点,在气候、环境、资源、经济以及文化等方面入手,有针对性地开展广西绿色建筑地方标准的本地化策略研究,
空间可展开式薄膜结构以其大口径、易折叠、质量轻、压缩比高、制作成本低、展开可靠性高等优势已成为未来大型空间可展开结构的理想选择。如何将仿生学原理引入空间可展开薄
本文以基于J2EE工作流体系结构的办公自动化系统为基础，设计并实现了一个支持移动信息设备无线互联进行移动办公的高校办公自动化系统，该系统对类似应用有较好的参考价值。
LED产业被认为是21世纪的朝阳产业，其在我国的经过了多年的发展，总体正处于高速发展和充满活力的状态，但由于我国一直没有出台LED的统一标准，行业几乎处于无序的竞争状态，造成产品
服务器是计算机网络中的主要角色,除了用于信息管理、资源共享、资料检索外,还承担着信息交流、电子邮件、新闻发布,以及各种公共网络口的访问等任务。由于在网络上传输的信
本文讨论了在Oracle9i数据库中加载外部数据的方法，提出了一种将Microsoft Excel电子表格数据加载到Oracle数据库的方法。