论文部分内容阅读
形式化方法起步于对程序理论和语义的研究，历经50多年的发展，成为了计算机科学中的重要领域．它使用严格的数学方法，研究并发展软、硬件系统的建模、设计、开发、验证与演化等技术，为计算系统的正确性和可靠性提供了重要途径．
《软件学报》软件形式化方法与应用专刊 征文通知
【摘 要】
：
形式化方法起步于对程序理论和语义的研究，历经50多年的发展，成为了计算机科学中的重要领域．它使用严格的数学方法，研究并发展软、硬件系统的建模、设计、开发、验证与演化等技术
【出 处】
：
软件学报
【发表日期】
：
2015年6期
其他文献
本文依据笔者六年来对线性代数这门课程的教学实践,谈三点体会：1从学习兴趣上贵在让学生参与其中,2教学方法上要传统教学与多媒体教学相结合,3对习题课教学要进一步重视。
Jane Eyre,a novel by Charlotte Bronte,published 1847. Charlotte Bronte created successful a typical woman characters that has the courage to rebel and fight for
cultural context plays an important role in translation. Because translation is a cross-culture activity, the culture context that influences translating is con
无线传感网的发展，使其需要具有高效地更新其上运行的应用软件的能力．为了解决这个问题，提出了一种面向无线传感网应用重编程的逻辑式编程语言及其处理系统ReLog．ReLog语言根据无
工学结合是高等职业学校适应市场和企业需求,培养高素质的应用型人才的人才培养模式的重要改革。本文以镇江高等职业技术学校的商务英语专业的工学结合人才培养模式的具体实
网络虚拟化环境下的跨域虚拟网络映射是指当物理网络由多个自治域构成时，以最小化虚拟网络映射开销为目标，将虚拟网络请求恰当地划分为多个虚拟子网请求，并分别指派给相应自治域
本文对DSP技术在高精度电度表中的应用以及电度表的数据通讯技术进行了研究，解决了DSP与单片机的数据通信问题，并将红外通讯和RS485串行通讯的功能引入到电度表中，丰富了电度表
多核系统中,内存子系统消耗大量的能耗并且比例还会继续增大.因此,解决内存的功耗问题成为系统功耗优化的关键.根据线程的内存地址空间和负载均衡策略将系统中的线程划分成不
2008年世界金融危机爆发，这次危机发端于美国的次贷危机，并且迅速席卷全世界，通过危机对我国造成的冲击，来分析了我国政府11月5日出台的扩大内需的宏观经济政策对于应对危机的重