sismic：Sismic交互式Statechart模型解释器和检查器http://sismic.readthedocs.org （126个子文件） 
elevator.feature 1KB heating.feature 1021B cooking_human.feature 674B lighting_human.feature 625B safety_human.feature 485B .gitignore 721B stopwatch.graffle 133KB Elevator.graffle 39KB MANIFEST.in 152B LICENSE 7KB Makefile 7KB elevator.plantuml 1KB
stopwatch_with_logic.png 184KB stopwatch_overview.png 168KB stopwatch_with_object.png 140KB elevator.png 36KB stopwatch_gui.png 9KB default.py 33KB test_interpreter.py 25KB test_model.py 24KB statechart.py 23KB plantuml.py 14KB python.py 12KB elements.py 11KB datadict.py 10KB test_bdd.py 10KB conf.py 9KB microwave.py 9KB evaluator.py 6KB steps.py 6KB test_io.py 6KB context.py 6KB runner.py 5KB wrappers.py 5KB testing.py 4KB test_code.py 4KB steps.py 4KB test_runner.py 4KB test_property.py 4KB yaml.py 4KB clock.py 4KB stopwatch_gui_external.py 4KB stopwatch_gui.py 3KB exceptions.py 3KB helpers.py 3KB conftest.py 3KB test_examples.py 3KB events.py 3KB test_clock.py 2KB environment.py 2KB test_contract.py 2KB __main__.py 2KB setup.py 2KB listener.py 1KB test_microwave.py 1KB stopwatch.py 994B steps.py 965B dummy.py 670B utilities.py 375B __init__.py 232B __init__.py 175B __init__.py 165B __init__.py 158B __init__.py 141B __init__.py 120B __init__.py 92B __init__.py 22B __init__.py 0B CHANGELOG.rst 32KB execution.rst 18KB behavior.rst 13KB time.rst 12KB concurrent.rst 11KB format.rst 9KB code.rst 8KB integration.rst 7KB contract.rst 7KB index.rst 6KB properties.rst 6KB README.rst 5KB visualization.rst 4KB installation.rst 2KB unittests.rst 2KB extensions.rst 1KB AUTHORS.rst 238B interpreter.rst 192B exceptions.rst 187B testing.rst 180B helpers.rst 180B runner.rst 177B clock.rst 174B model.rst 174B code.rst 171B bdd.rst 168B io.rst 163B api.rst 81B changelog.rst 29B authors.rst 27B
requirements.txt 111B microwave_with_contracts.yaml 4KB共 126 条
- 1
- 2
资源评论
蜜蜜蜜蜜糖
- 粉丝: 21
- 资源: 4606
最新资源
- 1114208313579521Crack.zip
- vi编辑器的使用沃尔沃
- 具有快速处理算法的正弦频率扫描 OFDR 分布式声学传感
- java学习资源共享平台源码数据库 MySQL源码类型 WebForm
- shiro 只提供了对 ehcache 和 parallelHashMap 的支持，下面介绍一个 shiro 可以使用的 redis cache 实现，希望对大家有帮助！.zip
- Ruby on Rails 的 Redis 存储.zip
- Resque 是一个由 Redis 支持的 Ruby 库，用于创建后台作业、将它们放在多个队列中，然后在稍后处理它们 .zip
- 我的生涯探索成长单-1733146098312.pdf.pdf
- matlab代码展示csv文件
- JAVA的Springboot+vue在线考试系统源码 前后端分离数据库 MySQL源码类型 WebForm
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
