![](/statics/img/blank.png)
Slicefy
您将能够在 5 秒内下载。
关于 Slicefy
一种通过切片对并发系统进行规范和验证的工具。
相关软件
-
Transform SWF for Java 免费
转换 SWF 是一个易于使用的库,用于读取和写入闪存和闪存视频文件。自 2010 年 11 月 25 日起,最新版本 (3.0) 现在可以在位于此地的 GitHub https://github.com/StuartMacKay/transform-swf。
-
CodeSnip 免费
CodeSnip 管理、显示和操作源代码存储库。存储库可以显示从联机代码片段数据库下载的本地存储代码段以及用户定义的代码片段。设计时牢记德尔福代码。
-
Jester 免费
Jester 是用于测试 java JUnit 测试的测试测试人员(Pester 用于 Python PyUnit 测试)。它修改源代码,运行测试和报告,如果测试通过,尽管代码的更改。这可能表示缺少测试或冗余代码。
-
ApacheBuilder 免费
ApacheBuilder 从源构建 Apache(Mod_SSL和 Mod_Perl 的可选模块),提示配置位置参数等。 完成后,它启动 Apache 并验证所有工作正常。
-
NDAI Reference Library for HFI 免费
IBM 的 PERCS 集成高速 HFI 网络的网络数据图抽象接口 (NDAI) 参考库实现。
-
QueryXMMS 免费
QueryXMMS 使用 libxmms 查询流行的 Linux 多媒体播放器 XMMS 的当前状态。
-
Leseratte 免费
莱塞拉特是德语书面语言的 Java 解析器。目前,它包含一个德语词典(基于字典),不灵活规则,语法和解析器。(已规划语义组件。可用作 Java 库,还提供图形 UI。
-
aspell-nds 免费
该项目为GNU aspell程序提供了一个低撒克逊语模块。低撒克逊语(ISO 语言代码:nds)是在德国北部和荷兰东部使用的区域语言。
-
Yet Another Object Request Broker 免费
然而,另一个对象请求代理是CORBA的实现,C++
-
Open Source Tracker 免费
开源跟踪器是食品信息电子可追溯性的中间件,例如 TraceCoreXML。OST 附带一个可选的 Web 界面,用于查看、生成、执行和翻译可追溯性消息。Java 和 .net 版本现在都可用。