热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2023-04-19 15:04:26 《千家妙方 上册 1982年》(李文亮等编)
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2023-10-13 17:09:40 楚辞 中华传统诗词经典 可复制-李山-9787101097528
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-24 16:17:09 《性爱健康指南》石四维编著
- 2023-10-13 17:09:40 超速学习：我这样做，一个月学会素描，一年学会四种语言，完成MIT四年课程-斯科特·扬著，林慈敏译-9789861755533
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2022-09-18 19:48:57 成功创业72绝招 艾凡著
- 2023-01-11 15:23:39 孔子学院传播研究_刘程 安然著_9787516112922
1、本文档共计 253 页，下载后文档不带www.pdfdz.com水印，支持完整阅读内容。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
的道路是多么艰难。XYZ系统提出之初，虽得到美欧软件工程方面几位著名专家[如SSI(国际软件系统公司)的叶祖尧①、CMU的N.Habernn及Trondheim的A.Solvberg等教授]的赞赏与支持16，m,但由于这些工作在思想倾向上与西方理论研究的主流方向相背离，自然不易很快得到西方理论界的理解与赞许，因此他们虽然对于XYZ系统因其独特思路而乐意邀请我去介绍，但对其意义与价值却长期不作评述，实际上即表示怀疑。直至1988年才有两位英国著名理论家H.R.Barringer和D.Gabbay在一篇总结性文章中指出：“将时序逻辑应用于软件工程的主要步骤即找到可执行时序逻辑”©)，并承认1983年我发表的介绍XYZ/E的论文[T1]是这方面最早的“先驱”。但这一评价也不过是“一叶知秋”而已。真正表示国际理论界对XYZ系统态度的变化是在20世纪90年代才发生的。1994年，时序逻辑的创立者、1996年图灵奖得主、以色列著名理论家A.Pnueli教授第一次访问我国。他在仔细参观了XY忆系统的演示后对我说：“说实话，我过去一直认为你的野心太大，不可能成功，而这次看了XY忆系统的演示后，我发现你已经成功了。”在他与他的长期者斯坦福大学的Z.Manna教授的提议下，于1995年在北京召开了“逻辑与软件工程”国际研讨会。在他们向会议提交的论文前面有一段对XYZE的评语：“唐稚松教授…将时序逻辑的概念处理得超乎任何人的想象，并将之应用在许多方面，在他之前，没有人认为这是可能的。[]接着，在他作为这次国际研讨会论文集的主编所写的序言中，更清楚地说明了他对以时序逻辑为基础的XYZ系统的认识的变化过程。他说：“我仍然记得，当我首次听唐教授谈到以时序逻辑作为软件开发全过程…的统一基础时所感到的惊讶。随着时间的流逝，这一梦幻般的系统，由软件研究所一个致力于此的小组所实现并加以扩充，这系统…随之逐步成形。我的这种惊讶也渐渐转变成为钦慕。”接着，他说明以时序逻辑这种协调的形式语义理论作为软件开发全过程基础的重要意义。最后，他说：“我盼望由唐教授所构想并发展的XY忆系统作为先驱所倡导的这一途径今后能引起软件工程系统的研究人员以及构造人员的巨大兴趣。（事实上，Pu©li教授所说明的他对XYZ系统看法的变化，正是近年来国际形式化理论界在形势迫使下已开始出现改变其原来思路的动向的一种反映。比如国际代数语义权威SRI(斯坦福研究所)的Mesequer教授将状态转换机制引入代数语义就是这方面又一有意义的迹象。（他曾来函索取XYZ的资料，并说瑞士苏黎士ETH的Engeler教授向他推荐我们的工作。1998年2月在Dagstuhl召开的会议上，我们初次相遇，又提起Engeler教授向他推荐我们的工作；此外在这次会上，我还第一次遇到另一位代数语义的权威学者Wirsing教授，他也提到Ehrich教授向他推荐我们的工作。)我认为，XY忆系统之所以过去长时间难以为西方理论家所理解，从根本上说是由于我们采用了一些我国传统哲学思想方法与西方流行的逻辑分析方法相结合的思路。这样的思路强调理论与技术紧密结合而不偏向一个极端，与西方片面重视形式化数学理论的理性主义思想差距甚大，但与国外（包括美、日、欧）一些对理论与技术不怀偏见，而较重视能实际提高软件生产率的软件工程专家（如叶祖尧、Solvberg及日本软件工程学会主①叶粗尧对XYZ的评语：“我心中绝对相信唐的XY忆语言将是一次重大突破的基础。…他的工作非常有创造性，而且有使软件生产率取得重大提高的实际应用前景。"Sbg的评语：“X忆语言为我们提供了一种关于信息系统…软件功能描述的令人着迷的思维方式。…我看到，如果我们将唐教授的XY忆系统组织到我们的方法论基础中去，将有巨大的潜力推进软件设计与构造的…学科技术水平。”目录上册时序逻辑语言第一章绪论1.1程序技术研究30年…1.2哲学方法…211.3XY忆系统简介…40第二章时序逻辑语言XYZE的基础部分422.1基本概念…422.2状态转换与单元…472.3三种不同形式的控制结构…552.4Hom子句语言XYZ/PE0622.5指针…64第三章时序逻辑语言XYZE的基层模块673.1程序框架…673.2过程与函数…703.3包块…78第四章时序逻辑语言XYZE的并发成分…834.1进程与并行语句…834.2通信864.3共享存储的并发进程…934.4面向对象的程序设计…954.5一种面向并发通信的计算过程的模块…1014.6分布式程序设计…106第五章实时程序设计与混成系统表示……1095.1从XYZ/BE到XYZ/RBE…1095.2从XYZ/SE到XYZ/RSE1165.3实时程序自动生成工具1205.4蒸汽锅炉实时控制问题…1265.5混成系统在XYZ系统中的表示方法…1391481486.2实现…153第七章程序规范与Hoare逻辑验证1637.1程序规范与程序性质…163166173
