TASTE 设计的空间软件系统的模型检查：结果和经验教训__

TASTE 设计的空间软件系统的模型检查：结果和经验教训

可下载资源数量

已经购买

下载数量：1

单价	0 1.0
Coupon	100% 0%
Total	0 1.0

点击下载点击购买并下载

点击购买，资源将自动在新窗口打开.

机构名称：

TASTE 设计的空间软件系统的模型检查：结果和经验教训

¥ 1.0

热度

 根据以下标准进行评估：  技术的总体方法和可用性  用户友好的技术，自动执行大部分步骤  系统设计和模型检查配置  设计需要适应验证，例如，与环境的专用接口、容易进行子类型的数据类型定义、部分支持某些建模功能（C++ 实现）  提出的属性规范和形式化  MSC 属性语言的表达能力不足以在语义上描述复杂的交互属性（例如，以连词开头）  在案例研究中识别明确的建模错误  MSC 语言的表达能力不足以从诊断跟踪中识别建模错误  模型检查器的性能  无法在 1 小时内确定 ERGO 案例研究的 1 个属性的满足情况！

添加pdf代下载 VIP点击下载文件