中国人民解放军总装备部“十五”预研基金(413060103)

作品数：3被引量：12H指数：2
导出分析报告
相关作者：王聪王智学程学生江光杰更多>>
相关机构：解放军理工大学中国人民解放军海军后勤技术装备研究所更多>>
相关期刊：《计算机应用研究》《系统仿真学报》更多>>
相关主题：需求获取方法模型精化BÜCHI自动机UML活动图形式语义更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于自动机理论的UML活动图模型检验方法被引量：1
《系统仿真学报》2007年第22期5311-5314,共4页王聪 王智学 
总装备部十五预研项目(413060103)
UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LT...
关键词：UML活动图 形式语义 模型检验 BÜCHI自动机 
基于领域模型的需求获取方法被引量：8
《计算机应用研究》2006年第12期74-76,共3页程学生 王聪 
总装备部"十五"预研项目(413060103)
运用领域工程的思想,提出了基于领域模型的系统需求获取方法。该方法可识别应用系统中的共同特征,并抽象这些特征形成领域模型。通过领域模型,引导用户给出完整的系统需求。
关键词：领域模型 需求获取 模型抽象 模型精化 
一种可用于军事电子信息系统的业务描述语言被引量：3
《解放军理工大学学报（自然科学版）》2003年第6期6-10,共5页王聪 王智学 江光杰 
总装备部十五预研基金资助项目(413060103).
准确、全面地获取系统需求是信息系统开发的关键问题之一。在需求获取过程中,面临的最大问题是用户和开发人员之间没有共同语言。为了解决这一问题,根据领域工程的思想,提出了一种系统需求的业务框架描述语言,该语言侧重于业务的概念,...
关键词：业务 需求分析 面向对象建模 领域工程 概念模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部