论文部分内容阅读
提出了一种基于形式化B方法的软件构件模型，分基于检索的部分、基于学习的部分和基于组装与演化的部分来依次展现构件信息，并结合实例给出了使用B语言来描述构件的具体功能和行为规约的具体运用。
一种基于形式化B方法的软件构件模型
【摘 要】
：
提出了一种基于形式化B方法的软件构件模型，分基于检索的部分、基于学习的部分和基于组装与演化的部分来依次展现构件信息，并结合实例给出了使用B语言来描述构件的具体功能和行
【机 构】
：
泰州师范高等专科学校
【出 处】
：
天水师范学院学报
【发表日期】
：
2009年2期
其他文献
急性脑梗死作为内科常见的急危症之一，其发病率和患病率在中老年人中有所增加。对急性脑梗死（ICVD）患者，进行积极的急诊溶栓治疗，使阻塞的血管再开通，以挽救缺血区半暗带的脑组织，减
目的 探讨梅毒患者外周血单个核细胞（PBMCs）中转录因子FOXP3 mRNA的表达水平.方法 采用反转录聚合酶链式反应（RT-PCR）方法检测70例未治疗的梅毒患者PBMCs中转录因子FOXP3 mRNA的
2006年颁布的破产法无疑完善了破产法律制度,但在对待自然人破产能力问题上却持完全否定的态度,可以说是新破产法的遗憾。建立自然人破产制度是市场经济的要求,是与国际接轨
Mirlzzi综合征是指胆囊颈部结石或胆囊管结石压迫肝总管引起的肝总管炎症性狭窄。临床主要表现为阻塞性黄疸、胆绞痛、胆管炎，是胆囊结石引起的一种少见的并发症。术前不能明
慢性阻塞性肺疾病（COPD）急性加重期行机械通气治疗的患者，因非生理性呼吸及排痰困难导致的呼吸道分泌物、血痂、痰栓等滞留小气道，影响呼吸功能恢复，导致机械通气时间的延长，及增加
一、社会主义市场经济条件下,加强思想道德文化建设的必要性。 首先,加强思想道德文化建设,是坚持走有中国特色的社会主义道路的全面内容的重要组成部分。建设有中国特色的社
腕骨骨折多数为舟骨骨折和大多角骨，在大多数情况下X线足以完成对腕骨骨折的确定诊断。但由于腕骨间存在复杂的三维空间结构关系，对于腕骨微小骨折、隐匿性骨折，仅以X线平片诊断
数据挖掘技术是一种新出现的计算机技术,是一种智能化的、综合应用各种统计分析、数据库、智能语言来分析庞大数据资料的技术。应用数据挖掘技术,可以对教学管理决策、教学研