当前分类：design-by-contract

vala - 需要 vala 中的 setter/getter

OOP:实现具有更广泛签名的接口(interface)方法

java - 无法在 Eclipse 上配置 cofoja

visual-studio-2017 - Visual Studio 2017不支持代码契约，如何使用PostSharp实现它？

actionscript-3 - 通过actionscript的合约工具进行设计

c - Frama-C/WP/ACSL 在结构上正确使用\有效

java - 如何将 Java 断言和 (JUnit) 测试结合起来进行公共(public)后置条件？

java - 如何对返回 void 的方法进行单元测试 "test the contract"？

c# - 需要什么来证明本契约(Contract)的要求？

racket - (或/c#f <合约>) 与 <合约>

c - Frama-C/WP 无法证明循环不变性

ada - Ada 2012 中的自定义条件失败消息

Java:按契约(Contract)注释设计

language-agnostic - 我需要一个基本的具体示例来说明如何将 TDD 与按契约(Contract)设计一起使用

code-contracts - 对按契约(Contract)设计或代码契约(Contract)的看法

node.js - Node.JS服务层设计

functional-programming - 具有按契约(Contract)设计功能的功能语言

computer-science - 这个语句可以被视为类不变量吗？

design-by-contract - ACSL 后置条件中\old 的含义

Clojure 条件映射参数作为 arglist 的元数据提供

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们