卢萍

作品数：3被引量：17H指数：2
导出分析报告
供职机构：云南大学软件学院更多>>
发文主题：PETRI网COMMUNICATINGACP代数语义软件演化过程更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《软件学报》《计算机工程与科学》《计算机科学》更多>>
所获基金：国家自然科学基金云南省自然科学基金云南省教育厅科学研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种软件演化过程模型的代数语义被引量：13
《软件学报》2012年第4期846-863,共18页代飞 李彤 谢仲文 于倩 卢萍 郁涌 赵娜 
国家自然科学基金(60963007);云南省软件工程重点实验室开放基金(2010KS01;2011SE04)
随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代...
关键词：软件演化过程 过程验证 代数语义 PETRI网 ACP(algebra of COMMUNICATING processes) 
基于特征组合的软件需求建模被引量：3
《计算机科学》2012年第1期130-133,141,共5页谢仲文 李彤 代飞 卢萍 王剑 刘金卓 高提雷 
国家自然科学基金项目(60963007);云南省软件工程重点实验室开放基金项目(2010KS01);云南省自然科学基金项目(2007F008M;2010CD026);云南大学软件学院学科建设基金项目(2010KS01);云南大学理(工)科校级科研项目(2009F36Q);云南大学研究生科研课题重点项目(ynuy201030)资助
需求建模在需求工程中起着重要的作用。为了提高软件需求建模的效率和质量,提出一种基于特征组合的软件需求建模方法。首先,将特征分为功能性特征和非功能性特征;其次,形式化定义功能性特征的各个部件,包括原子功能性特征和复合功能性特...
关键词：需求工程 特征 功能性特征 非功能性特征 特征组合 
基于EPMM的软件过程模型规范化研究被引量：2
《计算机工程与科学》2010年第9期69-72,126,共5页谢仲文 李彤 代飞 卢萍 秦江龙 刘金卓 
国家自然科学基金资助项目(60963007);云南省自然科学基金资助项目(2007F008M);云南省教育厅科学研究基金资助项目(09J0037);云南大学研究生科研课题资助项目(ynuy200920)
为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4P...
关键词：软件过程 软件过程模型 PETRI网 过程范式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部