Overture: Formal modelling in VDM

相关软件

• Mkulu QA Proxy 免费

  Mkulu QA 代理用于查看 HTTP 数据包的详细信息。它是用于 Web 开发和测试的有用工具。正在工作，以增加工具的功能。代理能够解析宏媒体闪存处理使用的二进制 AMF 协议。

• Illumination 免费

  照明 - 一个功能丰富，与拼C++的 GUI 库。主要功能：可分量性、XML 表面描述支持、漂亮的布局引擎、字体敏感度、X11 的后端、Windows、碳和诅咒。

• HMM Based Chinese Segmentor 免费

  这是一个实现卢塞尼分析仪接口的项目，以扩展其基于统计模型的中文分割问题的功能（Hiden Marcov模型）

• NHibernateIt 免费

  NHibernateIt 是一个 NHibernate 会话管理帮助程序，提供基本的 CRUD 操作，使存储库类槽槽。灵感来自NHibernator项目，在oracleatdotnet.com

• AstroWeka 免费

  AstroWeka 是 Weka 的一组扩展，这是一个流行的数据挖掘程序，它允许它直接处理虚拟天文台中的天文数据。

• CalFaces 免费

  CalFaces（以前是 jsforganiser）是 JavaServer Faces 组件的集合，用于基于 Web 的 PIM 应用程序，提供具有日、工作周、周和月视图的 Outlook 样式日历以及会议规划器。

• Complement 免费

  多平台C++库。1. xmt：用于构建多线程 （MT） 应用程序或库的便携式编程接口;2. 袜子：与插座的接口（C++IO流）;3. StEM：有限状态机/通信框架（与ev通信）

• H3xC4T 免费

  H3xC4T 读取二进制文件，并在列中显示按排序的十六进制内容...将来， 我会添加一些功能， 如普通二进制转换或拆解...

• Charset detector 免费

  用于自动检测给定文本或文件的字符集的库。将分析输入缓冲区以猜测使用的编码。结果（字符集名称或代码页 ID）可用作字符集会话的控制参数。使您的程序 Unicode 知道！

• Java Signal/Slot with Annotations 免费

  此库是 Java 5.0 的信号/插槽 API，使用注释来标记信号/插槽。包含信号/插槽次法的子类，以及向其插槽发出信号的方法，通过注释处理工具自动生成。