Contract++

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.8/5 - ‎10 ‎评分

C++编程(也称为合同设计)。支持所有埃菲尔功能:可选合同汇编;对故障的可自定义操作;分包;旧值和结果值;块不变,循环变体。http://contractpp.sourceforge.net

版本历史记录

  • 版本 releases 发布于 2010-03-07
    若干修复和更新
  • 版本 N/A 发布于 2010-03-07

软件信息