咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程

主题

  • 2 篇 通信进程代数
  • 1 篇 行为
  • 1 篇 需求模型
  • 1 篇 软件动态演化
  • 1 篇 规范化
  • 1 篇 petri网
  • 1 篇 需求工程
  • 1 篇 软件体系结构
  • 1 篇 特征

机构

  • 2 篇 云南省软件工程重...
  • 2 篇 云南大学

作者

  • 2 篇 李彤
  • 2 篇 谢仲文
  • 2 篇 代飞
  • 1 篇 赵娜
  • 1 篇 王娟
  • 1 篇 罗溦
  • 1 篇 金运志
  • 1 篇 刘金卓
  • 1 篇 钱晔

语言

  • 2 篇 中文
检索条件"主题词=通信进程代数"
2 条 记 录,以下是1-10 订阅
排序:
面向软件动态演化的需求建模及其模型规范化
收藏 引用
计算机科学与探索 2012年 第6期6卷 557-576页
作者: 谢仲文 李彤 代飞 钱晔 罗溦 王娟 云南大学软件学院 昆明650091 云南省软件工程重点实验室 昆明650091 云南大学信息学院 昆明650091
针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式... 详细信息
来源: 评论
一种将需求模型转换为软件体系结构模型的方法
一种将需求模型转换为软件体系结构模型的方法
收藏 引用
第十一届全国软件与应用学术会议(NASAC2012)
作者: 谢仲文 李彤 代飞 赵娜 刘金卓 金运志 云南大学软件学院 昆明 6500911 云南省软件工程重点实验室 昆明 650091 云南大学软件学院 昆明 6500911
需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先... 详细信息
来源: 评论