云南省教育厅科学研究基金(09J0037)
- 作品数：1 被引量：2H指数：1
- 相关作者：代飞谢仲文李彤秦江龙卢萍更多>>
- 相关机构：云南大学更多>>
- 发文基金：云南省教育厅科学研究基金云南省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一个层次化的软件体系结构模型
- 软件体系结构对提高软件系统质量有着重要的作用,软件体系结构模型是一种用来定义软件体系结构的工具。在分析软件系统和软件体系结构的五个重要特征的基础上,基于CSP和Petri网提出了一个形式化的软件体系结构模型MSAM,其体...
- 谢仲文李彤代飞赵娜郁湧刘金卓金运志
- 关键词：软件体系结构CSPPETRI网
- 基于EPMM的软件过程模型规范化研究被引量：2
- 2010年
- 为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。
- 谢仲文李彤代飞卢萍秦江龙刘金卓
- 关键词：软件过程模型PETRI网
- 一个层次化的软件体系结构模型
- 软件体系结构对提高软件系统质量有着重要的作用,软件体系结构模型是一种用来定义软件体系结构的工具。在分析软件系统和软件体系结构的五个重要特征的基础上,基于CSP和Petri网提出了一个形式化的软件体系结构模型MSAM,其体...
- 谢仲文李彤代飞赵娜郁湧刘金卓金运志
- 关键词：软件体系结构CSPPETRI网
- 文献传递
