宋文鹏
- 作品数：2 被引量：6H指数：2
- 供职机构：中国航天科工集团公司更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于工厂模式的构件获取技术被引量：3
- 2007年
- 随着软件的复杂度越来越高,由此引起"软件危机"也就变得越来越严重。从而引发了软件复用技术的研究。构件化软件开发作为一种十分有效的软件复用技术,可以有效的缓解"软件危机"的压力。按照标准软件构件模型(COM、CORBA、EJB等)开发软件构件,对一个组织的长远发展非常有利,但是通常组织内部存在许多没有按标准软件构件模型开发的资源,如何从中发掘重用构件,却没有一个行之有效的方法,提出了一个基于工厂模式的工厂重用模型可以部分解决这个问题。
- 宋文鹏刘杰贺红卫董丽
- 关键词：软件复用
- UML状态机模型形式化验证技术研究被引量：3
- 2012年
- 系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法。对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果。
- 侯敏宋文鹏王泊涵王新冶
- 关键词：UML状态机形式化验证
