论文部分内容阅读
本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。
基于B语言的构件精化开发方法
【摘 要】
：
本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。
【机 构】
：
怀化学院,湖南师范大学数学与计算机学院
【出 处】
：
电脑知识与技术：学术交流
【发表日期】
：
2007年11期
【基金项目】
：
怀化学院资助科研项目
其他文献
广西壮族自治区地方标准《广西绿色建筑评价》编制过程中,根据广西特点,在气候、环境、资源、经济以及文化等方面入手,有针对性地开展广西绿色建筑地方标准的本地化策略研究,
国家发展改革委《关于调整光伏发电陆上风电标杆上网电价的通知》(发改价格[2016]2729号)要求,根据当前新能源产业技术进步和成本降低情况,降低2017年1月1日之后新建光伏发电
空间可展开式薄膜结构以其大口径、易折叠、质量轻、压缩比高、制作成本低、展开可靠性高等优势已成为未来大型空间可展开结构的理想选择。如何将仿生学原理引入空间可展开薄
本文以基于J2EE工作流体系结构的办公自动化系统为基础，设计并实现了一个支持移动信息设备无线互联进行移动办公的高校办公自动化系统，该系统对类似应用有较好的参考价值。
记者在北京建筑工程学院获悉，以“城乡未来可持续水循环基础设施”为主题的2009第二届“生命之水”前沿技术国际会议将于11月6日-9日在北京举行。会议由美国分散式污水处理与
LED产业被认为是21世纪的朝阳产业，其在我国的经过了多年的发展，总体正处于高速发展和充满活力的状态，但由于我国一直没有出台LED的统一标准，行业几乎处于无序的竞争状态，造成产品
服务器是计算机网络中的主要角色,除了用于信息管理、资源共享、资料检索外,还承担着信息交流、电子邮件、新闻发布,以及各种公共网络口的访问等任务。由于在网络上传输的信
本文讨论了在Oracle9i数据库中加载外部数据的方法，提出了一种将Microsoft Excel电子表格数据加载到Oracle数据库的方法。
信息技术的出现,为我国教育事业发展提供了技术支持,改变了传统灌输式教学模式,使课堂教学活动变得更有活力、生机。英语教学活动中,信息技术的运用,丰富了教育资源,促进了教