%0 Journal Article
%T 基于实时语言和面向方面的形式化开发方法
%A 陈生庆
%A 张立臣
%A 陈广明
%J 计算机应用
%D 2006
%X ？面向方面方法和实时语言特性应用于实时软件开发工程，将降低实时软件开发的复杂性，而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法aosdbrtl，它基于经面向方面扩展的形式化方法aortz，在编码阶段应用实时语言pearl，实现了软件开发各个阶段对面向方面的无缝支持。
%U http://www.joca.cn/CN/abstract/abstract8465.shtml