|国家科技期刊平台
| 注册
首页|期刊导航|计算机与数字工程|软件体系结构讲座（六）形式化模型和规格说明

软件体系结构讲座（六）形式化模型和规格说明

五振宇 梁先忠

计算机与数字工程1999，Vol.27Issue(6)：56-68,13.
✕
计算机与数字工程1999，Vol.27Issue(6)：56-68,13.

软件体系结构讲座（六）形式化模型和规格说明

五振宇 1梁先忠1

作者信息

  • 1. 武汉数字工程研究所
  • 折叠

摘要

关键词

软件/体系结构/形式化模型/规格说明

分类

信息技术与安全科学

引用本文复制引用

五振宇,梁先忠..软件体系结构讲座（六）形式化模型和规格说明[J].计算机与数字工程,1999,27(6):56-68,13.

计算机与数字工程

1672-9722

访问量0
|
下载量0
段落导航相关论文