机译:形式化和工具配备的状态图和形式化数据类型集成方法
机译:形式化和工具配备的状态图和形式化数据类型集成方法
机译:将形式化方法集成到医疗软件开发中:ASM方法
机译:通过引用领域本体来增强MDE和形式设计模型。基于模型注释的方法
机译:集成非正式和正式的需求方法:一种使用空间参考数据的系统的实用方法。
机译:基于属性偏好信息与决策矩阵相结合的属性权重确定方法
机译:一种形式化和工具设备的状态图和正式数据类型集成方法
机译:战略设计调查:接近,设计,整合和阐明国家战略的正式方法论。