搜索筛选:
搜索耗时1.8008秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：于恒彪,
来源：国防科学技术大学 年份：2013
面向服务的计算(Service Oriented Computing,简称SOC)为分布式计算提供了一种新的方式,在SOC模式下,一个任务通常需要不同服务的协作来完成,并且这样的协作经常需要第三方来...
[学位论文] 作者：于恒彪,
来源：国防科技大学 年份：2018
随着软件规模和复杂度的不断提高,软件缺陷问题不断出现。如何提高软件的可靠性已经成为软件工程领域的一个重要研究问题。程序验证技术被广泛应用于提高软件可靠性。当前的程序验证技术主要分为静态验证和动态验证两类。静态验证对程序进行抽象建模,然后验证模......
相关搜索：
