• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"主题词=形式化软件规约"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
SRLtoRadl生成系统及其范畴论语义
收藏
分享
引用
《电子学报》2014年 第1期42卷 137-143页
作者：王昌晶 薛锦云 左正康江西师范大学省高性能计算技术重点实验室江西南昌330022 中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100190 江西师范大学计算机信息工程学院江西南昌330022 
形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Rad...
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部