您的位置: 专家智库 > >

宫学强

作品数:2 被引量:0H指数:0
供职机构:华东师范大学更多>>

文献类型

  • 2篇中文专利

主题

  • 2篇UML模型
  • 1篇用户
  • 1篇用户定义
  • 1篇软件工程
  • 1篇软件系统
  • 1篇时态逻辑
  • 1篇顺序图
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇契约
  • 1篇系统模型
  • 1篇建模语言
  • 1篇公式编辑器
  • 1篇规约
  • 1篇编辑器

机构

  • 2篇华东师范大学

作者

  • 2篇曹虹华
  • 2篇杜德慧
  • 2篇谢越
  • 2篇刘静
  • 2篇宫学强
  • 2篇尹玲

年份

  • 1篇2010
  • 1篇2009
2 条 记 录,以下是 1-2
排序方式:
一种验证UML模型中动态行为与时序契约的一致性的方法
本发明涉及一种验证统一建模语言UML模型中动态行为与时序契约的一致性的方法,其特征在于,包括步骤:根据UML标准建模,包括生成UML状态图和UML顺序图,保存图形的元模型;对所建模型的动态行为,实现UML状态图到PROM...
刘静杜德慧谢越尹玲宫学强曹虹华
文献传递
一种基于性质规约模式生成LTL公式的UML模型检测系统和方法
本发明涉及模型驱动式软件开发领域中一种基于性质规约模式生成LTL公式的UML模型检测系统和方法,其特征在于,包括:UML状态图、模型编辑器、模型转换器、模型检测器、LTL公式编辑器,基于性质规约模式自动生成LTL公式定义...
杜德慧刘静谢越尹玲宫学强曹虹华
文献传递
共1页<1>
聚类工具0