软件行为形式化规约语言数据集
收藏国家基础学科公共科学数据中心2024-03-05 收录
下载链接：
https://www.nbsdc.cn/general/dataDetail?id=64edc5b0bb16e07753c33d88&type=1
下载链接
链接失效反馈官方服务：
资源简介：
软件行为形式化规约语言数据集主要面向需求模型及其相关中间组件。在课题研发过程中，使用软件行为形式化规约语言数据集来规范需求模型及其相关中间组件，通过移动工作站，对所生成的需求模型及相关中间组件进行存储。数据量大约178KB。
提供机构：
上海交通大学
