2025年1月31日
星期五
|
欢迎来到营口市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
宫学强
作品数:
2
被引量:0
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张