您的位置： 专家智库 > >

上海市科委科技攻关项目(035115023)

作品数：1 被引量：3H指数：1
相关作者：杨晋辉郦萌更多>>
相关机构：同济大学更多>>
发文基金：上海市科委科技攻关项目国家教育部博士点基金更多>>
相关领域：交通运输工程更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇交通运输工程

主题

  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇联锁
  • 1篇联锁软件
  • 1篇建模语言
  • 1篇PETRI网
  • 1篇PETRI网...
  • 1篇PETRI网

机构

  • 1篇同济大学

作者

  • 1篇郦萌
  • 1篇杨晋辉

传媒

  • 1篇计算机辅助工...

年份

  • 1篇2005
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
联锁软件的统一建模语言和Petri网建模被引量：3
2005年
使用统一建模语言(unifiedmodelinglanguage,UML)为联锁软件建立平台无关的模型(platformindependentmodel,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。
杨晋辉郦萌
关键词：联锁软件统一建模语言PETRI网
全选 清除 导出
共1页<1>
聚类工具0