Java 1.5 的按合同设计 (DBC) 框架,它使用注释声明先决条件、后置条件等。与其他按合同设计框架不同,无需预编译,使代码跨生成系统、I代和平台可移植
版本历史记录
- 版本 N/A 发布于 2011-08-12
若干修复和更新 - 版本 N/A 发布于 2011-08-12
软件信息
- 软件分类: 图形应用 > 其他
- 发布者: traction.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
Java 1.5 的按合同设计 (DBC) 框架,它使用注释声明先决条件、后置条件等。与其他按合同设计框架不同,无需预编译,使代码跨生成系统、I代和平台可移植