您的位置： 专家智库 > >

卢萍

作品数：3 被引量：17H指数：2
供职机构：云南大学软件学院更多>>
发文基金：国家自然科学基金云南省自然科学基金云南省教育厅科学研究基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 2篇PETRI网
  • 1篇代数
  • 1篇代数语义
  • 1篇软件过程模型
  • 1篇软件演化过程
  • 1篇ACP
  • 1篇COMMUN...
  • 1篇ALGEBR...

机构

  • 3篇云南大学
  • 1篇昆明理工大学

作者

  • 3篇卢萍
  • 3篇李彤
  • 3篇谢仲文
  • 3篇代飞
  • 2篇刘金卓
  • 1篇高提雷
  • 1篇王剑
  • 1篇秦江龙
  • 1篇赵娜
  • 1篇郁涌
  • 1篇于倩

传媒

  • 1篇计算机工程与...
  • 1篇软件学报
  • 1篇计算机科学

年份

  • 2篇2012
  • 1篇2010
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于EPMM的软件过程模型规范化研究被引量：2
2010年
为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。
谢仲文李彤代飞卢萍秦江龙刘金卓
关键词：软件过程模型PETRI网
一种软件演化过程模型的代数语义被引量：13
2012年
随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导.这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.
代飞李彤谢仲文于倩卢萍郁涌赵娜
关键词：软件演化过程代数语义PETRI网COMMUNICATING
基于特征组合的软件需求建模被引量：3
2012年
需求建模在需求工程中起着重要的作用。为了提高软件需求建模的效率和质量,提出一种基于特征组合的软件需求建模方法。首先,将特征分为功能性特征和非功能性特征;其次,形式化定义功能性特征的各个部件,包括原子功能性特征和复合功能性特征;第三,把功能性特征之间的特征组合抽象为特征运算,并提出了23条特征运算的公理;第四,形式化定义非功能性特征并通过其作用域把功能性特征和非功能性特征统一为软件需求模型;最后,给出了基于特征组合的软件需求建模过程。
谢仲文李彤代飞卢萍王剑刘金卓高提雷
全选 清除 导出
共1页<1>
聚类工具0