CodeContracts.Net 编程工具联合创作 · 2023-10-01 08:59CodeContracts 是用于 .Net 程序中的开源工具。它可以作为你内部或者外部 API 的检查文档，并且可以通过实时监测、静态合同验证和文档生成来改善测试。CodeContracts 将基于合同设计（design-by-contract）的编程方式的优点全部带给了 .Net 编程语言。浏览 9点赞 评论 收藏 分享 手机扫一扫分享 编辑 分享 举报 评论图片表情视频评价全部评论推荐 JanetJNI编程工具Janet（JavaNativeExtensions）是一个编程工具，它可以简化本地代码与Java应用程序的集成。Janet定义一个轻量级Java语言扩展，从而支持更高抽象级别上的本地编程，并在JANMixly图形化编程工具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公司的LiXPairtiseEclipse结对编程工具XPairtise为分布结对编程提供了一个平台。该插件提供共享编辑，项目同步，共享程序和测试执行，用BlocklyDuinoArduino 可视化编程工具BlocklyDuino 是一个基于 Web 的 Arduino 可视化编程工具。基于 GoogleMixly图形化编程工具Mixly图形化编程工具0BlocklyDuinoArduino 可视化编程工具BlocklyDuino是一个基于Web的Arduino可视化编程工具。基于Google的Blockly开发。特征使用可视化的拖放代码块对Arduino进行编程生成完全兼容的Arduino源代码具有1点赞 评论 收藏 分享 手机扫一扫分享 编辑 分享 举报
