提交软件
  1. 首页
  2. PC软件
  3. 其他
  4. xsd2als

xsd2als

许可： 免费 ‎文件大小： N/A
‎用户评分： 5.0/5 - ‎2 ‎评分
点击下载

使用合金以一阶逻辑对 XML 架构文档建模，以便为应用程序生成测试输入并证明文档的约束。

版本历史记录

  • 版本 final%20milestone 发布于 2007-05-12
    若干修复和更新
  • 版本 N/A 发布于 2007-05-12

软件信息

相关软件

  • Velocity Template Analyzer 免费

    从速度文件中提取所有访问变量及其调用方法的工具。

  • Inaugural Address USA 2009 免费试用

    奥巴马总统2009年1月就职演说的正式文本。我们还发布：*2009年2月在国会的讲话**奥巴马2010年太空*和其他应用程序。这个程序被设计成在上网时阅读，没有互联网连接。

  • slptex 免费

    使用 LaTeX 的科学文人编程， 像 tgrind， 但有高级别的评论。换句话说，使用 LaTeX 注释的识字（真实）程序员的源代码字体器。

  • kuzya 免费

    Kuzya 是一个简单的跨平台 IDE，适合学习编程的人。它的主要思想是将注意力只集中在学习编程语言上，而不是集中在 IDE 的用法上。

  • IELTSpocket 免费

    IELTSpocket 是面向 7+ 频段的考生的重要自学工具。IELTSpocket 是考生在雅思考试中针对 7+ 频段的重要自学工具。通过基本的词汇、实用的技巧和有用的技巧，帮助考生达到最佳成绩。通过 7.0-9.0 成就者实践经验开发。

  • i2b2 WebClient 免费

    这是重组公司开发的 i2b2 内核的开源 Web 客户端。有关帮助，请发送电子邮件[email protected]。重组为该软件和 i2b2 实现提供支持。查询[email protected]

  • Cylindrical BLAST Viewer 免费

    3D 查看器，在旋转的圆柱形显示屏中排列 BLAST 命中和其他与生物信息学相关的对齐方式。反馈赞赏。注：需要 Java3d 安装。

  • Biohack 免费

    开源，免费DIY生物技术/生物黑客引导套件。基因工程/治疗，生物砖，合成生物学 - 原理图，教程等。

  • Joshua decoder 免费

    Joshua 是基于同步上下文免费语法的统计翻译模型的开源解码器。有关http://cs.jhu.edu/~ccb/joshua/操作指南，请参阅指南。

  • Nintendo 64 Cheats and Tips 免费试用

    将帮助您掌握您最喜爱的任天堂64游戏或找到一个新的有趣的方式来玩它。易于使用，漂亮和强大的界面将帮助您快速找到想要的游戏。非常欢迎您的反馈！