| 注册
首页|期刊导航|计算机工程与科学|一种基于CSP的面向方面状态图形式化描述方法

一种基于CSP的面向方面状态图形式化描述方法

王斌 刘菲 桂卫华 陈松乔

计算机工程与科学2008,Vol.30Issue(5):41-43,83,4.
计算机工程与科学2008,Vol.30Issue(5):41-43,83,4.

一种基于CSP的面向方面状态图形式化描述方法

A Formal Description Method for CSP-Based Aspect-Oriented Statecharts

王斌 1刘菲 1桂卫华 1陈松乔1

作者信息

  • 1. 中南大学信息科学与工程学院,湖南,长沙,410083
  • 折叠

摘要

关键词

编织/形式化语义/CSP/面向方面的状态图

分类

信息技术与安全科学

引用本文复制引用

王斌,刘菲,桂卫华,陈松乔..一种基于CSP的面向方面状态图形式化描述方法[J].计算机工程与科学,2008,30(5):41-43,83,4.

基金项目

湖南省自然科学基金资助项目(05JJ40132) (05JJ40132)

中南大学理科发展基金资助项目 ()

中南大学博士后科学基金资助项目 ()

计算机工程与科学

OA北大核心CSCDCSTPCD

1007-130X

访问量0
|
下载量0
段落导航相关论文