Java Modeling Language (JML)

相关软件

• OpenSeeds 免费

  OpenSeeds 是一个开源 Web 开发框架和对象模型，专为 LAMP 环境而设计。设计时要记住复杂的系统。框架本身是轻量级的。对象模型简单化。

• JNI++ 免费

  此项目提供两个代码生成实用程序和一个C++库，可简化 JNI C++。

• Almende's Abbey Agent Kernel 免费

  此项目提供了一个简单的内核来构建基于分布式代理的应用程序。它基于以下理念：数据流编程所基于的原则非常适合为多代理环境设计协调语言。

• Flicky Web Launcher 免费试用

  这个程序只是一个图标，启动About.com网站。方便访问 Flickr 网站。appjungle.net与 Flickr 无关。（所有商标均归其各自所有者所有）标准免责声明：所有使用风险自担。通过下载您同意。

• MGP 免费

  Maven GWT 插件用于从 Java 源编译 JavaScript 源文件。该插件运行GWTCompiler，允许配置编译器选项，自动检测源和资源文件的位置。不需要本地 GWT 安装

• Delta Compositor 免费

  达美合成器是一个高端电影合成和特效包。这是很早的发展。现在提供基于脚本的版本。GUI 目前正在规划和开发中。

• Database Access Framework 免费

  来自 Microsoft 模式和实践企业库 2.0 的数据访问应用程序块的增强版本。

• jDummy 免费

  jDummy 是 jMock 的扩展，jMock 是一个用于使用模拟对象测试 Java 代码的库。jDummy 通过生成表示相关期望和中间模拟对象来减少表达相关期望所需的代码。

• ALPprolog 免费

  ALPprolog 是操作编程语言的 Prolog 实现。借助 ALPprolog，您可以对动态域（如 Wumpus 世界）中的自主代理策略进行编程。

• C++ Object Interfacing Dispatcher 免费

  COID 是C++对象服务网络库的工具，该工具可直接从类声明自动生成C++通信层。