研究文章雷竞技app下载苹果版

认证的软件组件的重用

文摘

认证的过程与一些相关验证属性值,并提供一个证书作为证明的有效性。商业软件可以标记证书定义最小保证软件“单元”如何在未来的行为和在什么假设它会表现在那些礼仪。软件质量证书只是一个简报,法术已知软件输出的行为和在whatconditions这些发生。本文的目标是指定认证的软件开发生命周期

Neha马利克

阅读全文下载全文|访问全文