UML模型到B抽象机的转换和实现

著录项

• 来源
  《计算机时代》 |2007年第11期|44-46|共3页
• 作者

  仲晓敏; 邹盛荣;

  展开▼
• 作者单位

  扬州大学信息工程学院;

  江苏;

  扬州;

  225009;

  淮海工学院计算机科学系;

  扬州大学信息工程学院;

  江苏;

  扬州;

  225009;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 计算技术、计算机技术;
• 关键词

  UML; 形式化方法; 抽象机; B方法;