几年前到某著名大学参加学术活动，无意中听到该校两位老师闲聊，现在还记得的一句话就是“形式化方法已经不行了”。看来真是隔行如隔山，不在一行里的人做评价，而且信口开河，难免出错。在关注形式化方法的人看来，它不仅没有“不行”，近年还发展得挺迅猛。只不过，形式化方法也就是做软件或硬件，并没有做出什么新东西，很难像近来热炒的云计算、大数据、人工智能那样，被疯狂追捧。几年前到某著名大学参加学术活动，无意中听到该校两位老师闲聊，现在还记得的一句话就是“形式化方法
阅读背景：
形式化方法对软件开发的挑战：一些历史与现实
来源：互联网
分享到：
