提交软件
  1. 首页
  2. PC软件
  3. 其他
  4. State Machine Generator

State Machine Generator 1.7.5

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

用于从一组 直接嵌入在输入源代码文件中的指令。 此工具还将生成 GraphViz 图形描述和旋转/Promela 建模输出。

版本历史记录

  • 版本 win32 发布于 2011-03-28
    若干修复和更新
  • 版本 SMG v1.7.5 发布于 2008-04-03

软件信息

相关软件

  • Inspecteur 免费

    简单的插件，用于检查工作台视图和当前选择，以查看它们是如何实现的。有助于插件开发。

  • drawtiming 免费

    用于从 ASCII 输入文件生成时序图的命令行工具。 输入文件使用结构化语言来表示信号状态转换和相互依赖性。 栅格图像输出支持由 ImageMagick 提供。

  • PMP Solution for MiniGUI 免费

    该项目旨在为使用 MiniGUI 作为嵌入式图形平台的 PMP（便携式多媒体播放器）提供整体解决方案。它专为嵌入式Linux系统而设计，并提供完整的PMP GUI解决方案和主要应用程序。

  • linda 免费

    琳达是琳达并行的简单库实现编程系统（http://www.cs.yale.edu/Linda/linda.html）。写与琳达的并行程序， 你只需知道 6 个函数：生成， 出， 在， inp， rd 和 rdp 与琳达。

  • NUnitAddin for VisualStudio 免费

    VisualStudio 2005 附加单元提供 NUnit 测试用例的可视化表示形式。它允许您直接在 VisualStudio 中启动/停止/调试 NUnit 测试用例。

  • CalcGirl-Type B Maid Costume 免费试用

    如果未安装应用程序 "CalcGirl"则无法使用此应用程序。

  • Portage-C 免费

    Portage-c， 旨在快速， 独立的 Gentoo 的 Portage 。 它是使用 C & Sqlite 编写的。 保持依赖到最小和速度到最大。

  • Adaptive IoC 免费

    自适应 IoC 是 Java 的轻量级且强大且可扩展的 IoC（控制反转）容器。自适应 IoC 允许工程师直观地将独立、可插拔和可互换的组件组装成一个集成的整体。

  • TwoTouch Timer Beta 免费

    测试版测试 - 请参阅下面的指南。***一个快速和易于使用的倒计时计时器，闹钟和秒表应用程序。非常适合锻炼、运动、会议、烹饪等。许多常见计时器的时间按钮桌面小部件和/或多个警报列表振动选项自定义打盹功能在秒表上记录圈数以任何时间间隔重复报警用户可选报警声音常见倒计时计时器的一触式启动预设计时器在报警时启动秒表的选项通知选项颜色主题计数器或当前时间的大型显示模式备注 -广告

  • Scilab Aurora 免费

    Scilab Aurora 是 Linux 和 Windows.It 的一个简单但有用的视频编辑器，它实现了几乎所有非线编辑器的功能，如过滤器、过渡、运动设置、透明度设置。它包括 EVP。