搜索

CodeContracts.Net 编程工具

0粉丝
CodeContracts 是用于 .Net 程序中的开源工具。它可以作为你内部或者外部 API 的检查文档，并且可以通过实时监测、静态合同验证和文档
知识
简介
CodeContracts 是用于 .Net 程序中的开源工具。它可以作为你内部或者外部 API 的检查文档，并且可以通过实时监测、静态合同验证和文档生成来改善测试。CodeContracts 将基于合同设计（design-by-contract）的编程方式的优点全部带给了 .Net 编程语言。... 更多
其它信息
地区
不详
开发语言
C#
开源组织
微软
所属分类
开发工具、 .NET开发工具
授权协议
MIT
操作系统
跨平台
收录时间
2023-10-01
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-10
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
JanetJNI编程工具
Janet（JavaNativeExtensions）是一个编程工具，它可以简化本地代码与Java应用程序的集成。Janet定义一个轻量级Java语言扩展，从而支持更高抽象级别上的本地编程，并在JAN
Mixly图形化编程工具
Mixly是一款面向初学者、硬件编程爱好者的图形化编程工具。它完美地支持了Arduino、MicroPython，Python等语言的图形化编程。提供了图形化界面和代码界面对比显示的支持。Mixly还
S4AArduino图形编程工具
S4A是使Arduino开源硬件平台能够简单编程的Scratch修改版。在S4A中，提供了一系列新的
S4AArduino图形编程工具
S4A是使Arduino开源硬件平台能够简单编程的Scratch修改版。在S4A中，提供了一系列新的传感器模块和输出模块，并通过它们连接到你的Arduino控制器上。
XPairtiseEclipse结对编程工具
XPairtise为分布结对编程提供了一个平台。该插件提供共享编辑，项目同步，共享程序和测试执行，用户管理，内置对话交流和一个共享白板。目前尚未发现比其功能更多的插件，比较实用。
GLPKGNU线性编程工具
GLPK(GNULinearProgrammingKit:GNU线性编程工具)用于建立线性规划LP和混合型整数规划MIP问题的建模语言，并对模型进行最优化求解。类似的商业产品是美国Lindo公司的Li
XPairtiseEclipse结对编程工具
XPairtise为分布结对编程提供了一个平台。该插件提供共享编辑，项目同步，共享程序和测试执行，用
BlocklyDuinoArduino​ 可视化编程工具
BlocklyDuino 是一个基于 Web 的 Arduino 可视化编程工具。基于 Google
Mixly图形化编程工具
Mixly图形化编程工具
0
BlocklyDuinoArduino​ 可视化编程工具
BlocklyDuino是一个基于Web的Arduino可视化编程工具。基于Google的Blockly开发。特征使用可视化的拖放代码块对Arduino进行编程生成完全兼容的Arduino源代码具有1