D.B.S.S.V.E.
您将能够在 5 秒内下载。
关于 D.B.S.S.V.E.
DBSSVE 是一个在软件开发的规范和测试阶段使用直观轻量级正式规范的单一环境。此外,DBSSVE 可扩展到其他基于决策的规范符号和语言。
相关软件
-
JFserv 免费
JFserv 是一个 IRC-Bot(基于 PircBot http://www.jibble.org/pircbot.php),您可以使用它来共享 IRC 上的文件。它是在 Java 中编写的,因此它应该在任何平台上运行。JFserv 正在使用 ctcp/dcc 连接。
-
php::xul::lib 免费
php::lib 是一个框架,用于使基于 Web 的应用程序的设计像 X 应用程序,php:lib 为开发人员提供数据bse抽象层、xul gen 和其他资源,源代码是与 php5 一起提供的。
-
MDARAD Toolbox 免费
基于 MDA 方法的架构 RAD(快速应用程序开发)工具。 该工具箱包含适用于许多环境(JAVA、J2EE、休眠、.NET、C++等)的框架和生成器,这些环境允许从设计模型生成应用程序
-
littlej 免费
littlej(发音为"小杰伊")是一组跨平台、命令行的Java实用程序,用于Java开发人员,使用纯文本编辑器而不是 IDE 进行编程。littlej 与像 Vi 和 UltraEdit 这样的编辑合作很棒!
-
GPStoEXIF 免费
GPSTOEXIF 将来自 GPX 文件的 GPS 数据与图片通过其时间戳连接,以在图片中提供位置数据,即元信息。GPSTOEXIF 使用 exiv2 库编写 EXIF 数据和 Expat 来分析 GPX 文件。
-
ASpider 免费
强大的功能多线程 CLI 网络蜘蛛使用 apache 公域 httpclient v3.0 写在 java 中。 ASpider 从网站下载任何与给定的哑剧类型匹配的文件。 尝试 reg.exp。默认情况下匹配电子邮件,使用 log4j 记录所有结果。
-
Scene3DS Parser 免费
一个极其简单的使用 3ds 解析器。只需构造 Scene3DS 对象,然后使用公共读取函数读取数据(如网格对象等)。它是一个解析器 - 因此由您来渲染模型。有关详细信息,请参阅标题。
-
Weblogic to JBoss converter 免费
weblo2jboss 是使用 CMP 和会话 bean 的 JBuilder 7 项目的 Weblogic 到 Jboss 转换器脚本。
-
ArhebExtension 免费
arheb 是 Firefox 扩展,它将用阿拉伯语脚本编写的页面转换为希伯来语脚本。页面的所有文本内容都会自动翻译成希伯来语脚本(如"meduberet"所示)。
-
Textual Analyzer 免费
P.A.N.(诗歌分析器)使用传统的语法规则来分解非常规文本。此"文本分析器" 允许您以非常规方式检查文本,从而获得不同、新的视角。