论文部分内容阅读
形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。
形式化B方法到UML类图的转化研究及应用
【摘 要】
：
形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期
【机 构】
：
扬州大学信息工程学院
【出 处】
：
计算机时代
【发表日期】
：
2009年3期
【基金项目】
：
江苏省自然科学基金项目(BK2004052),, 扬州大学自然科学基金项目(KK0513109)
其他文献
为解决环保部门对企业污染排放监控的实时需求，研制了基于GPRS技术的嵌入式污染源监控系统。论述了系统的方案、系统的组成、硬件设计、软件设计、工作原理以及技术性能。系统
一本澳大利亚人所著的《说扬州》，把几百年来扬州的事说得清爽明净。不得不承认，在探险家的历史视野里，扬州真算不得清静之地。历次征战，这里都免不了有场生死决战，仿佛谁占了扬州
2006年9月24日，在北京亚运村汽车交易新市场，英特尔（中国）有限公司携手宝马索拍F1车队，把真正的F1赛车带到了人们身边，让北京市民及众多媒体提前欣赏到了F1速度的激情场面。这场在
铸件及铸型实体的三维网格自动剖分是金属凝固模拟按实际形状顺利进行的前提条件。文章在传统的均匀剖分算法基础上,提出了基于STL文件三角形面片法向矢量的自适应分层算法。
在琳琅满目，光怪陆离的茫茫车海，喜爱那些车子的风驰电掣、亮丽多姿的同时，却可能忽略它们之间有天也会“不期而遇”，发生意外事故。在川流不息的马路上，许多事欲速则不达．“撞车”
来自美国西雅图的51岁摄影师保罗不可思议地用十年时间探寻冰山之美。自从2001年起，这位威立雅环境野生动物摄影大赛获奖者独自驾船游历了挪威、格陵兰以及阿拉斯加附近的极地
文章首先分析了有线电视网的传输特点,随后介绍了4K超高清电视的关键性技术分类,例如编码技术HEVC、4K显示技术、高等级调制技术等,最后介绍了在有线电视网中运输4K超高清电
运用超声心动图技术对世界冠军关虹等15名优秀女子举重运动员心脏大小、形态、功能进行分析研究，结果显示优秀女子举重运动员超声心动图特征是在心脏大小改变不显著的基础上，心