“毋国庆”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果5个，建议您升级VIP下载更多相关专利

[发明专利]嵌入式软件系统程序的开发方法-CN201410284639.7在审
发明人： 毋国庆;黄勃 -专利权人：武汉大学深圳研究院
申请日： 2014-06-23 - 公布日： 2014-12-17 - 主分类号： G06F9/44 文献下载
摘要：本发明涉及一种嵌入式软件系统程序的开发方法，包括根据嵌入式软件系统程序的需求分析建立待开发嵌入式系统程序的需求模型；对需求模型进行分析和检测，同时生成目标软件系统程序所需要的源代码，进而生成目标软件系统程序；对目标软件系统程序进行程序分析得出程序模型，将程序模型和需求模型进行比较分析以发现差异性，如发现差异性则对生成的目标软件系统程序或需求模型进行修复步骤。本发明针对嵌入式软件系统程序的特点，提供适合于嵌入式软件系统程序的需求建模技术方案，将用户使用自然语言表达的需求转化为场景及行为表达式，为自动检测软件系统的需求是否正确和完整奠定了良好的基础。
嵌入式软件系统程序开发方法

[发明专利]一种面向行为的软件需求模型可视化方法-CN201110284794.5有效
发明人： 毋国庆;吴昊;黄勃;万黎;李琳 -专利权人：武汉大学
申请日： 2011-09-23 - 公布日： 2012-06-20 - 主分类号： G06F9/44 文献下载
摘要：本发明涉及一种面向行为的软件需求模型可视化方法。由于需求动画的实现与需求建模方法和需求模型密切相关，故首先研究基于软件行为的需求建模方法和行为描述语言，以建立基于软件行为的需求模型。其次，研究和建立从需求模型到需求动画描述模型的形式化转换机制和面向软件行为的、符合用户理解模式的需求动画运行机制，以实现需求模型的可视化。面向软件行为的需求动画能够辅助各种背景知识的用户直观和确切地理解需求模型中的行为过程，从而能够获取有效的用户反馈，提高需求分析的效率，减少软件开发成本。因此，本发明不仅具有重要的理论意义和创新性，而且也具有明确的实用价值。
一种面向行为软件需求模型可视化方法

[发明专利]一种用于建立软件需求模型的系统及建立软件需求模型的方法-CN201110323553.7无效
发明人： 毋国庆;杨柏枝;刘冠 -专利权人：武汉珈宏腾科技有限公司
申请日： 2011-10-23 - 公布日： 2012-02-29 - 主分类号： G06F9/44 文献下载
摘要：本发明涉及一种用于建立软件需求模型的系统及建立软件需求模型的方法，用于建立软件需求模型的系统包括一个独立的或是计算机内部建立的软件需求信息处理器，还有输入设备和输出接口；所述软件需求信息处理器包括：一个软件需求信息单元，一个建立场景单元，一个建立行为模型单元，一个软件需求模型检测、修改和输出单元。建立软件需求模型的方法步骤为：A、输入软件需求信息；B、建立场景；C、建立行为模型；D、检测、修改和输出软件需求模型。本发明优点在于，通过使用场景和视点技术，能够为复杂软件系统的建立高质量的需求模型，自动检测软件系统的需求是否正确和完整，能兼容一些其它的建模方法和技术，还能减少研究成本，提高研究效率。
一种用于建立软件需求模型系统方法

[发明专利]一种基于需求模型的软件特性检测方法-CN200910061837.6无效
发明人：陈曙;袁梦霆;吴怀广;毋国庆 -专利权人：武汉大学
申请日： 2009-04-27 - 公布日： 2010-10-27 - 主分类号： G06F11/36 文献下载
摘要：一种基于系统需求模型的软件特性检测方法，所述系统需求模型由系统内所有视点的视点行为模型构成，视点行为模型由视点内的所有场景行为模型构成，场景行为模型由场景内所有有效行为根据行为间关系联结成，其特征是：对系统需求模型进行视点一致性检测和行为有效性验证；所述视点一致性检测通过将视点行为模型的行为模型表达式转换为动态操作语义模型表达式，判断两个视点的视点行为模型是否观察等价来实现；所述行为有效性验证实现方式为，将系统需求模型转换为等价的动态操作语义模型，将与行为有效性有关的软件特性表示为时序逻辑公式，根据动态操作语义模型和时序逻辑公式进行自动检测得到行为有效性验证结果。
一种基于需求模型软件特性检测方法

[发明专利]一种建立软件需求模型的方法-CN200810237469.1无效
发明人： 毋国庆;姚昱;袁梦霆;万黎;肖晶 -专利权人：武汉大学
申请日： 2008-12-29 - 公布日： 2009-06-24 - 主分类号： G06F9/44 文献下载
摘要：一种建立软件需求模型的方法，包括为问题域标识和定义视点；为每一个与待开发软件系统相关的视点建立场景；使用行为描述语言建立系统需求模型；检测所有的视点；若检测结果为发现问题则修改相应的场景行为模型或视点行为模型并返回重复检测，直到每个视点都检测结果通过；若检测结果通过，综合所有视点行为模型得到最终系统需求模型并输出。本发明通过使用场景和视点技术，能够为复杂软件系统的建立高质量的需求模型，为自动检测软件系统的需求是否正确和完整奠定了良好的基础。而且能够兼容一些其它的建模方法和技术，具有较好的广泛性和实用性。
一种建立软件需求模型方法