并发面向对象的培养网 (CO-OPN) 形式主义旨在以模块化方式支持分布式系统的规范。本项目提出了编辑器、语法检查器、测试生成器和原型生成器等工具。
版本历史记录
- 版本 1.0.7-beta 发布于 2006-03-06
若干修复和更新 - 版本 1.0.7-beta 发布于 2006-03-06
软件信息
- 软件分类: 网络与互联网 > 其他
- 发布者: smv.unige.ch/tiki-index.php?page=IntroCoopn
- 许可: 免费
- 价格: N/A
- 版本: 1.0.7
- 适用平台: windows