E-Chaser 是分布式 Java-RMI 应用程序 RMI 的运行时验证系统。在其前端,E-Chaser 提供分发透明的规范,并使用 Compose* 作为其后端工具来生成运行时验证模块。
版本历史记录
- 版本 files 发布于 2010-03-28
若干修复和更新 - 版本 N/A 发布于 2010-03-28
软件信息
- 软件分类: 网络与互联网 > 其他
- 发布者: e-chaser.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
E-Chaser 是分布式 Java-RMI 应用程序 RMI 的运行时验证系统。在其前端,E-Chaser 提供分发透明的规范,并使用 Compose* 作为其后端工具来生成运行时验证模块。