2024年8月25日
星期日
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
卢萍
作品数:
3
被引量:17
H指数:2
供职机构:
云南大学软件学院
更多>>
发文基金:
国家自然科学基金
云南省自然科学基金
云南省教育厅科学研究基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
代飞
云南省软件工程重点实验室昆明6...
谢仲文
云南省软件工程重点实验室昆明6...
李彤
云南省软件工程重点实验室昆明6...
刘金卓
云南省软件工程重点实验室昆明6...
于倩
云南大学软件学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
3篇
中文期刊文章
领域
3篇
自动化与计算...
主题
1篇
代数
1篇
代数语义
1篇
软件过程模型
1篇
软件演化过程
1篇
PROCES...
1篇
ACP
1篇
COMMUN...
1篇
PETRI网
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的长处,可以有效地支持软件演化过程的形式验证.
代飞
李彤
谢仲文
于倩
卢萍
郁涌
赵娜
关键词:
软件演化过程
代数语义
COMMUNICATING
基于特征组合的软件需求建模
被引量:3
2012年
需求建模在需求工程中起着重要的作用。为了提高软件需求建模的效率和质量,提出一种基于特征组合的软件需求建模方法。首先,将特征分为功能性特征和非功能性特征;其次,形式化定义功能性特征的各个部件,包括原子功能性特征和复合功能性特征;第三,把功能性特征之间的特征组合抽象为特征运算,并提出了23条特征运算的公理;第四,形式化定义非功能性特征并通过其作用域把功能性特征和非功能性特征统一为软件需求模型;最后,给出了基于特征组合的软件需求建模过程。
谢仲文
李彤
代飞
卢萍
王剑
刘金卓
高提雷
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张