期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
结合形式化方法的UML系统开发 被引量：10
1
作者 罗蜜 张为群 《西南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第2期203-208,共6页
介绍并讨论了在系统开发过程中使用UML(UnifiedModelingLanguage)与其他形式化方法得到的一种精化模型,而且这一模型也同样支持形式化的分析和验证.
关键词 统一建模语言 UML 系统开发 形式化方法 实时动作逻辑 形式化语义 验证规则
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部