2013-03-09AProVE 1.2

自动程序验证环境 系统AProVE可以用于自动终止和最内层终止的证明（视情况而定）项重写系统（TRSS），Prolog程序，功能，和必要的程序。 目前，AProVE提供了许多转换技术，基本终止技术（包括递归路径订单，克努特·本迪克斯订单，多项式订单，RFC Matchbounds的神器出山:www.shenqi73.com）依赖对包括最近的改进，如缩小，......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：6.45 MB软件评级：

2013-03-09CADO 1.82_Cado 1.82

一个代码生成语言，以帮助您的工作。 CADO是一个有用的，小的，成熟的代码生成专门设计的标准模板与嵌入的宏语言。它是有用的，源于一个共同的项目命名为生成源代码和其他相关内容（测试，文档，configuations等）。 ...

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：299 KB软件评级：

2013-03-09开发服务管理器1.0测试版_Dev Services Manager 1.0 Beta

一个Windows服务管理器，允许您将服务组合在一起 的名称SvcMan代表开发服务管理。 SvcMan是一个Windows服务管理器，允许你服务结合在一起。应用程序的一部分，项目资料的开发环境，其中包括小工具来自动完成一些重复的神器出山:www.shenqi73.com任务与不同的脚本/编程语言和开发服务器。需求： · ...

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：57.0 KB软件评级：

2013-03-09JWhich

检测冲突的文件，在PATH环境变量 JWhich的开发是一个简单的应用程序来检测冲突的文件，在PATH环境变量中。检查所有PATHEXT扩展名和路径文件夹。使用时，只需运行。 该应用程序是部分项目资料的神器出山:www.shenqi73.com开发环境，其中包括小工具，在不同的脚本/编程语言和开发服务器所涉及的重复任务自动化。...

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：3.00 KB软件评级：

2013-03-09Merisier 0.1.0阿尔法2_Merisier 0.1.0 Alpha 2

一个merise方法分析器，以帮助您的工作。 Merisier是一个简单的，易于使用的，基于Python的merise方法设计生成图表和SQL文件解析器。 您只需要创建一个merise的文件，描述简单数据集和关系。 Merisier将分析此文件，并产生2图+ SQL文件（S）+数据注册表。 第一个图是概念数据模型（MCD）。这表明你景致的神器出山:www.shenq......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：9.00 KB软件评级：

2013-03-09查找结果调整2.0_Find Results Tweak 2.0

可让您调整格式的查找结果窗口 厌倦的查找结果窗口中，在Visual Studio 2010中过于杂乱？希望你能喜欢它的UI（更整洁，更注重）的裁缝？希望你有一个简单的Visual Studio 2010中菜单的选项吗？ Visual Studio的神器出山:www.shenqi73.com查找结果窗口调整只是给你！这个包提供了一个Visual Studio 2010加载项，可让您调整格......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：209 KB软件评级：

2013-03-09Heshby

二进制流的预测变得更加容易。 ， Heshby是一个简单，易于使用，但非常有效的算法，专门设计的用来预测一个二进制流。 ...

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：45.0 KB软件评级：

2013-03-09Java的日志查看器1.0.0d_Java Log Viewer 1.0.0d

Java应用程序日志查看器。 Java的日志查看器的设计是一个图形用户界面，以帮助您查看的Java应用程序生成的日志“的java.util.logging”包。日志必须被格式化，XMLFormatter类。它提供了设施，以过滤，排序和查找日志记录。 下面是一些主要特点的神器出山:www.shenqi73.com“Java日志查看器”： 日志记录突出： 突出倍他乐克......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：180 KB软件评级：

2013-03-09PowerTab 0.99.4.1测试版_PowerTab 0.99.4.1 Beta

扩展“选项卡扩展功能的PowerShell 在PowerTab包将延长“选项卡扩展功能的PowerShell PowerShell用户提供更多的生产力。 Tab扩展类似智能感知功能的PowerShell是一种生产力。按TAB键将导致PowerTab的神器出山:www.shenqi73.com基础上的光标在目前的情况下，建议的完整路径，命令名称或值。 PowerTab提供的PowerShell许多共同......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：115 KB软件评级：

2013-03-09油滑的测试开发1.15第1版_Slick Test Developer 1.15 Release 1

工具，以帮助您与您的开发。 油滑的测试开发是一个易于使用的Windows自动化工具和自动化工程师设计的。目前油滑测试的IDE支持VB.NET和C＃的支持。 此版本中的新功能： 修正： ·删除了一些异常的神器出山:www.shenqi73.com抑制。 ·修正了一个64位的对象间谍问题。 ·固定在可能的highligher问题的highligher仍然在运行命令......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：5.18 MB软件评级：

2013-03-09HQLAddin 1.0.0.23阿尔法1_HQLAddin 1.0.0.23 Alpha 1

使得它更容易为NHibernate用户编写查询 在HQLAddin的一揽子计划，使NHibernate的用户更容易编写查询，使用Hibernate的查询语言，在Visual Studio。下面是一些主要特点“HQLAddin”的： ·语法高亮显示（完成）， ·语法检查（完成） ·智能感知（某些情况下） 要求： · 此版本中的神器出山:www.shenqi73.com新功能： ·它支......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：2.93 MB软件评级：

2013-03-09Beanfabrics 0.7.9

一个组件框架构建Java桌面应用程序 Beanfabrics是一个非常有用的编程框架，目的是为了帮助你在Java应用程序接口，用于农业开发的，根据与Swing到Presentation Model模式。下面是一些主要特点的“Beanfabrics “： ·一组现成的神器出山:www.shenqi73.com使用演示模型组件 ·一组准备使用的可视化演示文稿视图组件 ·一个框架......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：1.76 MB软件评级：

2013-03-09C + +编码器1.5_C++ Coder 1.5

60 C + +源代码和练习，测验，词汇表 在C + +编码器包提供60 C + +源代码和练习，测验，和词汇。的“C + +编码器”下面是一些主要特点： ·48源代码分为6个部分：迭代（循环），字符串，整数，数组，条件，其他代码。 ·详细注释每个代码。 ·练习测试你的神器出山:www.shenqi73.com能力，以找到完整的C + +程序中的错误。......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：1.76 MB软件评级：

2013-03-09IncUpdate 3.2建立2010.8.16.288_IncUpdate 3.2 Build 2010.8.16.288

下载和更新的非最新版本的文件时，会自动生成更新补丁 软件开发已经变得越来越复杂。也许你要运用你的头脑，你的软件发展的主要特点，但你的用户想要更多的。友好的安装和方便网络随时更新，等等。 IncUpdate的神器出山:www.shenqi73.com应用程序enavles你可以添加专业的基于Web的系统更新您的软件产品，在10分钟内没有你写......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：5.08 MB软件评级：

2013-03-09AudiOpen发行23_AudiOpen Release 23

音频合成变得更加容易。 AudiOpen是一个方便的，小的框架，专为音频合成，制定一个框架的目标，获得你想要的波形是非常直观的。这是通过任何影响的任何输入的工作，并允许用户运行Python脚本。 要求： ·的神器出山:www.shenqi73.comPython ...

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：7.71 MB软件评级：

2013-03-09自动更新+ 5.2.0.2_AutoUpdate+ 5.2.0.2

提供了一个快速简便的方法来添加自动更新到你的应用程序 自动更新+集成了一个与您的应用程序的更新管理解决方案提供了一个快速简便的方法。节省成本和精力编写自己的应用程序更新工具。 在不到5分钟，你也可以使用该软件的神器出山:www.shenqi73.com信任管理更新的1000年世界各地的公司这里是“自动更新”+“的一些主要特点......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：1.86 MB软件评级：

2013-03-09EntiPro 3.0.2.2

生成和管理对象相关的源代码中使用的基于模板的框架 EntiPro框架的力量在于它的模板设计的灵活性。模板驱动的源代码文件的产生，从而使代码保持consistant的与现有的编码标准。 EntiPro将帮助您轻松保持源代码。 数据库的神器出山:www.shenqi73.com变化迅速和有效地整合和管理您的整个应用程序，以最小的努力。 EntiPro框架......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：10.0 MB软件评级：

2013-03-09CoolSQL 0.9.5 RC2 / 0.9.3稳定_CoolSQL 0.9.5 RC2 / 0.9.3 Stable

应用程序，以帮助您的工作与数据库。 CoolSQL是一个程序设计的开发人员频繁操作数据库。下面是一些主要特点“CoolSQL”： ·几乎支持目前所有流行的数据库，如DB2，ORACLE，MYSQL，MS SQL服务器，德比，HSQL，INFORMIX，SYBASE，PostgreSQL的神器出山:www.shenqi73.com ·为用户提供一个友好和漂亮的UI。整个框架包括Eclips......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：11.3 MB软件评级：

2013-03-09Witzend ReplaceInFiles的Visual Studio 5.0_Witzend ReplaceInFiles for Visual Stud...

增强Visual Studio的“在文件中替换（文件搜索和替换） Witzend ReplaceInFiles是一个强大的中，重新定义了Visual Studio的替换文件功能，为您提供快速的一步到位的搜索和替换所有项目源文件，不管你在Visual Basic，C + +或C＃。 重视以透明的神器出山:www.shenqi73.comReplaceInFiles添加到Visual Studio环境中，只有向外......

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：462 KB软件评级：

2013-03-09全国人民代表大会的创造者1.1 Beta_NPC Creator 1.1 Beta

生成的NPC文件快速和容易。 全国人民代表大会Creator是一个方便，易于使用的软件，专为全国人民代表大会文件（XML）的产生，产生的“script.lua”的可能性。此外，还支持车间，船和对话模块。 这里是“全国人民代表大会的神器出山:www.shenqi73.com创造者”的一些主要特点： ·网店模块 ·船模块 ·对话模块 ·参数 ...

运行环境：Win9X/Win2000/WinXP/Win2003/下载次数：99软件大小：1.95 MB软件评级：