Web应用的出现与盛行已将软件产业悄然带入规模化、复杂化的时代，提高其检测方法的自动化程度是当务之急。因此，我们采用基于模型的......

GIS模型和模型库是实现地理信息系统与应用分析模型集成的关键技术.本文采用面向对象的思想,对支持模型复合的模型形式化方法开展......

UCM模型作为一种图形化的业务场景模型，其场景设计可以表示需求和产生规格，驱动设计和系统演化，UCM模型的正确性影响软件开发的质量．鉴......

BPMN（Business Process Modeling Notation）作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确......

面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型......

针对体系需求建模中使命模型在分解时无法引入属性参考,不便于检查分解的合理性,影响模型分析效果等问题,提出了基于本体的体系使......

以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent mo del,CIM)在模型驱动架构中关注......

针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能......