欧洲程序设计方法研究的三个动向——一个访欧考察报告

应德国达格施图国际计算机科学会议和研究中心主任Wilhelm教授的邀请,我于今年7月1日至14日先后访问了德国帕德泊大学、萨尔布吕肯大学,并在达格施图城堡参加了“程序规约和语义”国际研讨会,在会上做了题为“有关程序规约的三个关键技术”的学术报告。在访德期间,特别是在国际研讨会议上与近50位从事程序设计方法研究的计算机科学家的接触和讨论,使我感到欧洲程序设计方法研究目前有三个动向值得注意。这就是:对软件正确性的需求重新升温,程序语言和程序设计方法的统一化趋势,以及程序设计研究的实用化。下面就这三点谈谈我的体会。一、对软件正确性的需求重新升温六十年代后期。