毕世飞
- 作品数：2 被引量：6H指数：2
- 供职机构：东北大学信息科学与工程学院更多>>
- 发文基金：辽宁省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 软件开发质量管理体系实施阻力的根源与对策被引量：3
- 2004年
- 对于某些复杂的事物,组成事物的各个部分之间的各种联系成为决定事物性质的关键因素。从这个基本点出发,对比一般工业品生产和软件产品生产的区别,分析了软件生产在构造流水线式生产的困难、开发过程中的信息传递不畅,以及信息结构日趋复杂等特点。结合我国软件业实际,总结出软件质量管理体系实施阻力的主要具体表现和根源,并提出了根据本企业特点强化质量体系、管理者推动、定期质量培训、做好思想动员等改善软件质量管理体系实施效果的相关措施。
- 郭志毕世飞李宝和
- 关键词：ISO9000软件开发
- 一类约束满足问题及其算法被引量：3
- 2003年
- 针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·
- 蒋本铁毕世飞
- 关键词：整数规划时间复杂度
