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

作     者：李未 

作者机构：北京航空航天大学计算机系北京100083 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：1997年第24卷第1期

页      码：20-21页

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

主 题 词：欧洲 程序设计方法 考察报告 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203901643...