软件工程学科何以独特——形式化方法的双重路径.pdfVIP

软件2011年第 32卷 第 7期 Software 国际IT传媒品牌 软件工程学科何以独特——形式化方法的双重路径木 - 5晓辉 。。。 邹顺鹏 (1．中国地质大学 (北京)高等教育研究所 北京 100083，2．清华科技园 (珠海)融智文化基因工程研究所 (筹)，珠海 519000 3．中国电子学会、天津 电子学会 软《件》杂志 副主编 特约撰稿人 北京 100044) 摘 要：本文旨在以数字和文字双语信息处理为例论述软件工程的第二路径及其重要意义。具体涉及如下两个问题及其解答 第一，软件工程学科何以独特?在其解答过程 中进一步提出了软件工程的双重路径问题；第二，软件工程的第二路径为什么显著优 于第一路径?其中预示软件产业将由此重组。从方法论的角度来看，前者涉及协同智能观；后者涉及第二路径的论证。从学科体系 的角度来看，涉及软件的两次定位。其中，如果说第一次是计算机软件产品脱