【时序逻辑程序设计与软件工程】上集时序逻辑语言 - 唐稚松等科学.pdf

中国科学院科学出版基金资助出版时序逻辑

序 XYZ系统是一种以时序逻辑语言XYZ/E为基础的软件工程工具系统,该系统的研制计划自80年代初开始实施,在国家多种科研经费的支持下,共历3个五年计划的不断工作与改进,终于在1995年夏在中国科学院软件研究所实现。从1996年起,我们一方面开展在实时过程控制、动画片等领域的一些应用研究,一方面又从理论与技术结合方面对这系统进行改进并提出一种新的方法与工具,且将其应用于实际。为便于今后开展有关 XYZ系统的推广与应用,也为了适应我国在计算机科学与软件工程等领域培养高层次的研究及开发应用人才的需要,我们编写了这本书。它可以说是我本人以及我所领导的研究小组近20年来的研究工作的总结。

的思路强调理论与技术紧密结合而不偏向一个极端,与西方片面重视形式化数学理论的理性主义思想差距甚大,但与国外(包括美、日、欧)一些对理论与技术不怀偏见、但较重视能实际提高软件生产率的软件工程专家(如叶祖尧、Solvberg及日本软件工程学会主席岸田孝一等)的思路较为接近。这就说明,为什么在开始阶段XYZ系统从理论界与软件工程界这两方面所得到的反应是如此的不同！特别应该一提的是日本友人岸田孝一先生,他不但对西方软件技术十分了解,而且对中国传统文化有很深的素养,因此他对XYZ系统的哲学背景的兴趣也显得特别浓厚。他不但多次邀请我到日本作为软件学术会议的特邀主了称为XYZ的软件系统。