并发状态机相关论文
随着软件应用领域的不断发展,软件测试作为一种保证软件质量的有效方法已经得到了广泛的重视。而面向对象技术的迅速发展,对软件测......
为了有效验证安全关键系统的通信模型,提出基于时间化UML(unified modeling language,统一建模语言)的模型检测方法。首先采用时间化......
在软件的开发过程中,需求和程序分别是头尾两个阶段的软件形态。人们最终的目的就是要将需求转换为程序。在现今技术条件下,这一转......