%0 Journal Article
%T Formal development method based on real-time language method and aspect-oriented<br>基于实时语言和面向方面的形式化开发方法
%A CHEN Sheng-qing
%A ZHANG Li-chen
%A CHEN Guang-ming
%A <br>陈生庆
%A 张立臣
%A 陈广明
%J 计算机应用
%D 2006
%I 
%X Aspect-oriented Software Development and real-time Language Programming can reduce the complexity of realtime software. The formal methods can increase dependability of Software Development. The aspect-oriented formal development method AOSDBRTL was established. The real-time language PEARL was used in implementing stage and the A0- RT-Z - the Aspect-Oriented formalism based on RT-Z was used in designing stage. AOSDBRTL was a seamless process on the phases of the software development.
%K RT-Z
%K AO-RT-Z<br>面向方面
%K 实时系统
%K 形式化方法
%K PEARL语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=927C53AD8FB7F1B1&yid=37904DC365DD7266&vid=96C778EE049EE47D&iid=CA4FD0336C81A37A&sid=C812B90E96151014&eid=11D5E8ABA820DDF7&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=15