论文部分内容阅读
文章着重对形式化方法在软构件中的应用做了综述，总结近年来国内外已经对该问题所进行的研究，提出或应用了哪些新方法和新技术．取得的成效，以及还存在的不足之处。
形式化方法在软构件中的应用综述
【摘 要】
：
文章着重对形式化方法在软构件中的应用做了综述，总结近年来国内外已经对该问题所进行的研究，提出或应用了哪些新方法和新技术．取得的成效，以及还存在的不足之处。
【机 构】
：
华侨大学
【出 处】
：
福建电脑
【发表日期】
：
2007年2期
【基金项目】
：
华侨大学启动资金资助
其他文献
教师的现代主体性要求教师在教与学的领域分别成为教学研究者、自主学习者,两种角色在教研共同体中融会贯通,发挥实效。基于文献研究,文章从教研共同体的特征、价值、组织架
以九江电厂三期试柱为例，较深入的研究了基桩抗压刚度Kpz、抗剪刚度Kpx、水平回转向阻尼比、竖向共振频率、水平自振频率等动力特性的测试方法、技术与成果应用。
一、马英九发表就职七周年讲话5月20日是马英九就任“总统”七周年纪念日。当日上午在“副总统”吴敦义、“总统府”秘书长曾永权等官员陪同下，马英九邀请“总统府”资政、“
文中对面向区域经济的专业岗位群进行了分析，探讨了学生在未来岗住中承担的工作任务，从而确立教学目标，以此对教学内容进行科学地重新建构，并改革了教学手段以及教学效果评价的方
6月3日，正在美国活动的蔡英文在美国发表演说。在谈到两岸关系时，她表示，当选后将在“中华民国”现行“宪政体制”下，依循普遍民意，持续推动两岸关系和平稳定发展。
一、民进党通过“2014对中政策检讨纪要” 2014年1月9日下午，民进党召开“中国事务委员会”会议，会中将原本要通过的“对中政策总结报告”修正为“2014对中政策检讨纪要”，也推
嵌入式系统的开发与研究已成为当前的一个热点，为加速嵌入式Linux系统的开发。有必要研究专门的嵌入式集成开发环境．本文采用了S3C44BOX的32位处理器，在Linux环境下构建了简洁高
韶关电厂#6机相对膨胀检测系统原为ZQX-201型电磁感应式检测系统,精度较低.经技术改造后,性能得到改善.