系统设计的正式方法和模型

• 作者: 陆彦斌
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 系统设计 模型 学术论文 软硬件设计 设计能力 电子设计 结构分解 结构特性 理论公式 工具
• 年，卷（期）: 2006,（6）
• 页码范围: 8-9
• 页数: 2页
• 分类号: TP368.1

摘要

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆彦斌	中国科学院计算技术研究所	21	1	1.0	1.0