Syspect 1.5.0
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/syspect/files/syspect/1.5.0/Syspect-RCP-1.5.0.win32.win32.x86.zip/download
关于 Syspect
Syspect 是一种工具,用于使用 UML2 图来指定系统并将其转换为 CSP-OZ-DC 规范以进行正式验证。
相关软件
-
Frankenstein Project: Hack the Genome 免费
弗兰肯斯坦项目:破解基因组基因组分析所需的宝贵工具的集合,例如:- 分子,蛋白质3D结构查看器- 蛋白质对齐机- 克隆器- DNA操纵工具- DNA-蛋白质翻译和更多
-
Order Switchable Column Table (OSCT) 免费
顺序可切换列表 (OSCT) 是分子生物学中选项卡分页格式的框架。OSCT 在 RIKEN OSC 中开发,提供了一个捕获元数据(如输入文件、协议、参数等)以及数据本身的通用框架。
-
Chemistry Terms Dictionary 免费
立即下载完整的化学指南词典。本应用程序包含超过 1000 个 "化学术语"及其科学定义。在此处查找术语清单和所有化学术语的清晰定义。这是化学品和化学相关术语的参考。阅读涵盖数千种化学品和化学现象的描述性信息。
-
Zoorbar 免费
Zoorbar 是一个计算机应用程序,旨在管理和数字化自然历史收藏。- 记录所有标本鉴定。它基于 MS 访问。积分和更多信息,http://www.gbif.es/zoorbar/zoorbar.php
-
Turkish Human Mutation Database 免费
人类突变数据的迅速积累导致在土耳其建立一个国家/族裔数据库的想法,并得到HUGO-MDI/HGVS的赞同。1995年启动的跨学科 hmut-tr项目旨在承载这一宝贵的数据和信息。
-
Regex Creator 免费
Regex 创建者是帮助创建正则表达式(regex)的工具。目标是使创建正则表达式尽可能简单和快速。粘贴文本以进行分析,指定要提取和生成正则表达式的值。您还可以调试正则表达式。
-
Lapack++ 免费
LAPACK® 是用于高性能线性代数计算的库。此版本包括支持使用 LU、Cholesky、QR 矩阵因子化,用于实矩阵和复杂矩阵。
-
Buxa Code Documentor for PHP 6 免费
一种易于使用的 API,用于记录 PHP (>= 5.3) 项目。它遵循严格的结构,最初,它只为布萨框架编写。文档主要使用反射, 是的...当然, 它支持命名空间的东西。
-
Moodle presubscribe 免费
预订阅对象可与 Moodle 一起使用,以向其添加完整的预订阅功能。该模块允许用户预先订阅课程(使用通知电子邮件)。Moodle 管理员可以批准此订阅到有效的 couse 注册。感谢教育生活斯帕
-
di-base read Fast Alignment Search Tool 免费
用于二基读取的快速对齐搜索工具(颜色空间;AB SOLID)。流行的光照阅读地图绘制器 mrFAST 和 mrsFAST 的补充程序。