DbcNet

契约式设计的理论、实现及实践
posts - 0, comments - 0, trackbacks - 0, articles - 0
  博客园 :: 首页 :: 新随笔 :: 联系 :: 订阅 订阅 :: 管理

Dbc实现

关于Dbc的各种设施（如前置条件、后置条件、不变式等）在各种平台上（如C++、C#、Java）的具体实现