换一批- 最近
- 已收藏
- 排序
- 筛选
资源类型收起
- 1
中图分类展开
该项聚类结果为0
年份展开
关键词聚类展开
- 1
- 1
- 1
- 1
- 1
上下
更多...
关键词聚类
加载更多选项
定制检索筛选项
- 中文期刊
- 刊名
- 作者
- 作者单位
- 收录源
- 栏目名称
- 语种
- 主题词
- 出版状态
- 外文期刊
- 文献类型
- 刊名
- 作者
- 主题词
- 收录源
- 语种
- 学位论文
- 授予学位
- 授予单位
- 会议论文
- 主办单位
- 专 利
- 专利分类
- 专利类型
- 国家/组织
- 法律状态
- 申请/专利权人
- 发明/设计人
- 成 果
- 鉴定年份
- 学科分类
- 地域
- 完成单位
- 标 准
- 强制性标准
- 中标分类
- 标准类型
- 标准状态
- 来源数据库
- 法 规
- 法规分类
- 内容分类
- 效力级别
- 时效性
加载更多选项
定制检索筛选项
当前检索式
关键词=(软件体系结构通信进程代数)
展开
【中文期刊】 谢仲文 李晓燕 等 《计算机科学》 2014年41卷5期 196-203页
【摘要】 需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点.针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法.首先,讨...
【关键词】 需求模型；软件体系结构通信进程代数；Petri网；
浏览：1
被引：6
下载：0
- 概要：
- 方法：
- 结论：
收起
AI内容生成中……
以上内容由AI生成，结果仅供参考
显示侧边栏
加载中...
