基于场景构件式实时软件设计的一致性检验

著录项

• 来源
  《软件学报》 |2006年第1期|48-58|共11页
• 作者

  胡军; 于笑丰; 张岩; 李宣东; 郑国梁;

  展开▼
• 作者单位

  计算机软件新技术国家重点实验室;

  南京大学;

  江苏;

  南京;

  210093;

  南京大学;

  计算机科学与技术系;

  江苏;

  南京;

  210093;

  计算机软件新技术国家重点实验室;

  南京大学;

  江苏;

  南京;

  210093;

  南京大学;

  计算机科学与技术系;

  江苏;

  南京;

  210093;

  计算机软件新技术国家重点实验室;

  南京大学;

  江苏;

  南京;

  210093;

  南京大学;

  计算机科学与技术系;

  江苏;

  南京;

  210093;

  计算机软件新技术国家重点实验室;

  南京大学;

  江苏;

  南京;

  210093;

  南京大学;

  计算机科学与技术系;

  江苏;

  南京;

  210093;

  计算机软件新技术国家重点实验室;

  南京大学;

  江苏;

  南京;

  210093;

  南京大学;

  计算机科学与技术系;

  江苏;

  南京;

  210093;

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

  实时软件; 构件式设计; 模型检验; 接口自动机; 顺序图; 统一建模语言;