E-Chaser
许可: 免费 文件大小: N/A
用户评分: 3.0/5 - 1 评分
请稍候,您的下载链接正在检测恶意内容。
您将能够在 5 秒内下载。
您将能够在 5 秒内下载。
关于 E-Chaser
E-Chaser 是分布式 Java-RMI 应用程序 RMI 的运行时验证系统。在其前端,E-Chaser 提供分发透明的规范,并使用 Compose* 作为其后端工具来生成运行时验证模块。
E-Chaser 是分布式 Java-RMI 应用程序 RMI 的运行时验证系统。在其前端,E-Chaser 提供分发透明的规范,并使用 Compose* 作为其后端工具来生成运行时验证模块。