多线程快速排序算法的设计与优化

文章根据传统快速排序算法的特点,在传统快速排序方式的基础上,提出了采用多线程方法进一步优化的算法。首先,通过C++多线程编程开发优化算法;其次,在算法性能对比中达到优化算法的性能提升效果;最后,对优化算法进行理论分析,得出了在最优情况下该算法的性能提升上限,并对此进行了验证。

基于Event-B的软件工程形式化方法综述

在当今泛在计算和软件定义的大趋势下,形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法,渗透到软件工程的全寿命周期. Event-B作为一种"构造即正确"的方法,为软件工程形式化方法的应用提供了支撑.本文对现有的基于Event-B的软件工程形式化方法进行了分类阐述,主要分为Event-B控制结构、面向对象的Event-B、可重用的Event-B以及实时Event-B模型,并对各种Event-B模型对软件开发全寿命周期的支持进行了汇总,为软件工程形式化方法提供参考和借鉴.