您的位置： 专家智库 > >

戴雨婷

作品数：1 被引量：3H指数：1
供职机构：上海大学计算机工程与科学学院更多>>
发文基金：上海市科学技术委员会资助项目上海市教育委员会重点学科基金上海市自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇一致性
  • 1篇LSC

机构

  • 1篇上海大学
  • 1篇上海市计算机...

作者

  • 1篇梅佳
  • 1篇缪淮扣
  • 1篇高洪皓
  • 1篇戴雨婷

传媒

  • 1篇上海大学学报...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于LSC模型检验的性质抽取被引量：3
2012年
采用LSC(live sequence chart)描述基于场景的需求规格说明,根据设计模型必须满足需求规格说明的一致性原理,针对安全性、可达性、活性等性质,设计3种用于自动生成和抽取性质的覆盖准则,并根据准则从LSC需求规格说明中抽取与设计模型相关的性质.抽取的结果可用于自动化验证,为验证需求模型与设计模型的一致性提供保障.
戴雨婷缪淮扣梅佳高洪皓
关键词：LSC一致性
全选 清除 导出
共1页<1>
聚类工具0