您的位置： 专家智库 > >

国家自然科学基金(60573081)

作品数：1 被引量：10H指数：1
相关作者：孙猛杨红丽裘宗燕张乃孝更多>>
相关机构：北京大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇软件结构
  • 1篇精化
  • 1篇基于UML
  • 1篇UML
  • 1篇CSP

机构

  • 1篇北京大学

作者

  • 1篇张乃孝
  • 1篇裘宗燕
  • 1篇杨红丽
  • 1篇孙猛

传媒

  • 1篇北京大学学报...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于UML的软件结构规范与精化被引量：10
2007年
提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。
孙猛杨红丽张乃孝裘宗燕
关键词：软件结构精化CSPUML
全选 清除 导出
共1页<1>
聚类工具0