论文部分内容阅读
形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通过B方法和UML在问题对象域层次上的结合,给出一种在软件设计中结合应用,提高软件质量的方法。
B方法与UML在软件设计中的结合应用
【摘 要】
：
形式化方法B用抽象机对软件进行描述和设计,它支持严格的数学定义和证明,可以保证模型的正确性和无歧义性。UML是面向对象的建模技术,提供灵活快捷的分析与设计方式。文中通
【机 构】
：
西北工业大学软件学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2007年1期
其他文献
本文介绍了嵌入式系统的BSP及其作用,以基于 PXA250的嵌入式Linux系统为开发环境,详细阐述了不同开发阶段BSP的设计与实现.
本文提出了两种不同的变换域方法:一种是基于DCT域的自适应水印算法;另一种是基于多分辨率分解(DWT)的水印算法.实验结果表明,这两种水印算法具有良好的性能,实现的水印具有
Vicor公司宣布：SynQor公司于2011年5月13日单方面撤回禁止生产和销售Vicor母线转换器的申请。在SynQor公司提交此项禁制令动议的3个月后，双方经过三轮提交摘要书和加快透露证据
选取合适的蛋白质结构预测算法的性能评估指标,是直接影响到衡量和比较各种蛋白质结构预测算法优劣的重要问题.本文对目前各种评估指标进行了剖析比较,总结对比了各种评估指
<正> 社会保障是现代国家的一种社会安全制度,是国家确保公民基本生活的重要措施和手段。在我国,社会保障不仅是一种社会安全制度,而且还是人民当家作主权力的体现和保证,是
专业提供可提升能效的高性能产品全球领先供应商飞兆半导体公司（Fairchild Semiconductor）于2008年9月18日在苏州举办的第六届中国国际集成电路博览会（IC China2008）上，于“中美半
本文介绍了基于Intel PXA255与ARM-Linux的嵌入式系统下的USB移动存储器设备的设计,对PXA255内嵌的USB设备模块的Linux驱动程序结构进行了详细分析,通过Linux下MTD的块设备与