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

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

荣格原型理论的现代生成

荣格以集体无意识的原型理论,实际上涉及的是关于人类心灵的基本结构、人性模式及其生成和承传问题,它联系着原始文化、原始思维、发生学以及关于本能、遗传等方面的理论,涉及到人的生理与心理的关系、人类精神发展的历时性与共时性的关系等问题。     

为建设有中国特色的汉语术语学而努力

术语学在国际上是一门新兴学科，世界上一些发达国家对它的研究已达到相当高的水平，而我国在术语学的研究方面还十分薄弱，专门从事这方面研究的人员非常之少，研究领域的学术成果也十分贫乏，术语学的研究还没有引起学术界和有关方面的重视。因此，在这种情况下召开中国术语学建设研讨会，无疑是非常及时的，相信这次研讨会对我国汉语术语学理论建设将起到积极的促进作用。