论文部分内容阅读
探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。
形式化方法在软件工程中的应用研究
【摘 要】
：
探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出
【机 构】
：
韶关学院数学与信息科学学院,河北科技大学理学院
【出 处】
：
河北科技大学学报
【发表日期】
：
2011年06期
【基金项目】
：
广东省科技计划资助项目(2009B050700008);韶关学院科研资助项目(2010-207-04)
其他文献
目的探讨单操作孔胸腔镜治疗早期非小细胞肺癌的临床价值。方法将拟行胸腔镜肺叶切除及纵膈系统淋巴结清扫术的80例早期非小细胞肺癌患者随机分为2组,每组40例。对照组实施三
采用真空液相烧结技术制备了Mo2FeB2基金属陶瓷,研究了钒添加量(质量分数,0~7.5%)对其组织和力学性能的影响。结果表明:当钒添加量不大于2.5%时,金属陶瓷的孔隙率无明显变化,
提出了一种计算钡星重元素丰度的参数化模型,利用此模型很好地拟合了8颗钡星的重元素丰度,说明提出模型的有效性。对最佳拟合参数进行了比较和讨论,得到以下主要结论:强钡星
随着保温材料技术的不断升级,纳米陶瓷(即陶瓷纳米纤维棉)作为一种新型的保温隔热材料,具有低的热阻率、低的折射率、很好的憎水率等。本文主要通过表面热损法和焓降法,验证
业务机架需求是确定互联网数据中心建设规模的重要因素。在常用的通信业务需求预测方法的基础上,对互联网数据中心业务机架需求的预测方法进行了研究和分析,提出了适合工程使
皮质-纹状体-脊髓变性或亚急性海绵状脑病，是朊蛋白（prion protein，PrP）所致的可传染的致死性神经系统变性疾病。1920年Creutzeldt和1921年Jacob等首先报道，以后被命名为Creutzeld
<正>在欧美‘双反’调查及市场需求疲软夹击之下,中国光伏产业大省河北的中小光伏企业全面停产,大型企业出现亏损,面临有史以来最严峻的行业危机,光伏巨头纷纷转向中国国内及
<正>现在人们说起辰东,必谈《神墓》《遮天》。其实早在《神墓》(2006)之前,辰东处女作《不死不灭》(2004)就老厉害了。写作这事儿吧,虽说勤奋是第一位的,但是天赋也是必不可
在普通高校体育场馆资源不足,存在着体育场馆资源与体育教学之间的矛盾。传统教学法不能够解决这一矛盾。基于此,提出循环教学法,并以网球反手击球教学为例进行分析,希望能够
建立了毛细管气相色谱法测定伊班膦酸钠中的有机溶剂残留量。采用PEG-20M毛细管色谱柱,30 m×0.32 mm,液膜厚度为1.0μm;柱温60℃,维持5 min后,再以30℃/min的速率升温至180