作者信息

Gajski博士现任加利福尼亚大学信息和计算机科学系以及电气和计算机工程系的教授，是嵌入式系统设计和规范语言领域的领军人物，在数字电路、交换系统、超级计算机设计和VLSI结构方面有十多年的行业经验。此外，Gajski博士还在伊利诺斯大学的计算机科学系从事过十余年的学术研究，并曾主管SpecC语言小组的研究项目，担任嵌入式计算机系统UCI中心的主任，其研究课题包括以下内容：嵌入式系统、信息技术、设计方法学和电气设计环境、规范语言和CAD软件、设计科学。
 李敏波，01年1月获清华大学工学博士，随后在新加坡国立大学从事协同产品设计与门户的博士后研究。02年11月至今在金蝶软件公司中央研究院担任高级研究员。现任复旦大学软件学院零售与分销管理系统研究中心的副主任，从事教学和科研工作。