第3届程序构造中的数学国际会议概述

【期数】：1996年01期

【作者】：徐家福;金凌紫

【摘要】： 第3届程序构造中的数学国际会议(MPC’95)于1995年7月17—21日在德国克劳斯特依俄西召开。会议论文刊登在Lecture Notes In Computer Science第947卷上。与会者70多人,主要来自欧洲和美国。会上宣读论文24篇,分为8个专题,其中5篇为特邀演讲。慕尼黑技术大学的M.Broy教授演讲的题目为"软件工程的数学"。他指出:虽然在程序设计和系统开发方法方面已经做了大量的工作,但大部分都没有在实际中获得应用,一个原因是现实中的软件工程师往往缺乏一定的技能去掌握和利用形式化方法;此外,软件工业界