类不变式相关硕士博士期刊学术论文 - 搜论网

类不变式相关论文

基于c#的合约式包装器的设计方案研究

实现了一个C#语言的合约检查工具,用于辅助程序员在用C#语言编写软件的时候运用合约式设计方法。工具将书写在程序注释中的合约提......

期刊

易测试性合约式设计类不变式前置条件后置条件 testability design by contract class Invariant precond

看过本文同时还关注