论文部分内容阅读
通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.
基于B方法的体系结构描述语言的精化研究
【摘 要】
：
通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件
【机 构】
：
怀化学院物理与信息工程系
【出 处】
：
怀化学院学报
【发表日期】
：
2012年2期
【基金项目】
：
怀化学院资助科研项目
其他文献
诞生于瑞士的飞菲Flik Flak一向以优良的品质著称。2004年飞菲Flik Flak的乐趣系列专为顽皮可爱的儿童设计，坚固耐用的外表让人觉得可靠。防震铝制外壳、防刮划无机玻璃及精确
目的：探讨冠脉选影术对冠心病患者脉象的影响。方法：纳入50例冠心病病人。在冠脉造影术前、术后分别检测右侧关脉脉图，对脉图参数进行统计学分析。结果：冠脉造影术后冠心病患者脉
比利时2002年1-10月，共抛光钻石总出口额为53．6859亿美元，与前一年同期相比增长11．6％，出口的克拉数达到780万克拉，同比上升10．5％。
某44岁男性患者因皮炎服用曲尼司特胶囊与咪唑斯汀缓释片，服药20d后出现铁锈色尿，27d后出现纳差、大便呈陶土色，全身皮肤瘙痒，入院后血液生化检查提示ALT430U/L、AST164U/L、ALP2
2004年深圳国际珠宝展览会将在今年9月14-18日假深圳市高交会展览中心举行。展会获得国内外参展商的热烈响应和坚决支持。来自中国内地、香港、韩国、印度、意大利、德国、新
目的：观察分析清中汤加减治疗湿热中阻型慢性胃炎的临床疗效。方法：选取我院在2015年5月—2016年4月进行治疗的84例湿热中阻型慢性胃炎患者作为研究对象，随机分成研究组和对照组