体系结构描述语言XADL和组合失配检测

著录项

• 来源
  《软件学报》 |2002年第12期|2238-2243|共6页
• 作者

  张波; 冯玉琳; 黄涛;

  展开▼
• 作者单位

  中国科学院软件研究所计算机科学重点实验室;

  北京;

  100080;

  中国科学院软件研究所软件工程技术研究开发中心;

  北京;

  100080;

  中国科学院软件研究所计算机科学重点实验室;

  北京;

  100080;

  中国科学院软件研究所软件工程技术研究开发中心;

  北京;

  100080;

  中国科学院软件研究所计算机科学重点实验室;

  北京;

  100080;

  中国科学院软件研究所软件工程技术研究开发中心;

  北京;

  100080;

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

  构件; 接口; 有限自动机; 软件体系结构; 组合失配;