基于实时语言和面向方面的形式化开发方法

著录项

• 来源
  《计算机应用》 |2006年第1期|240-242248|共4页
• 作者

  陈生庆; 张立臣; 陈广明;

  展开▼
• 作者单位

  嘉应学院计算机科学与技术系;

  广东;

  梅州;

  514015;

  广东工业大学计算机学院;

  广东;

  广州;

  510090;

  嘉应学院计算机科学与技术系;

  广东;

  梅州;

  514015;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  面向方面; 实时系统; 形式化方法; RT-Z; AO-RT-Z; PEARL语言;