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

软件2011年第32卷 第7期 Software 国际IT传媒品牌 专家论坛 软件工程学科何以独特——形式化方法的双重路径* 1,2,3 1 邹晓辉 　邹顺鹏 （1.中国地质大学（北京）高等教育研究所　北京 100083；2.清华科技园（珠海）融智文化基因工程研究所（筹），珠海 519000； 3.中国电子学会、天津电子学会《软件》杂志 副主编 特约撰稿人 北京 100044） 摘　要： 本文旨在以数字和文字双语信息处理为例论述软件工程的第二路径及其重要意义。具体涉及如下两个问题及其解答： 第一，软件工程学科何以独特？在其解答过程中进一步提出了软件工程的双重路径问题；第二，软件工程的第二路径为什么显著优 于第一路径？其中预示软件产业将由此重组。从方法论的角度来看，前者涉及协同智能观；后者涉及第二路径的论证。从学科体系 的角度来看，涉及软件的两次定位。其中，如果说第一次是计算机软件产品脱胎于数学和语言学，那么，第二次就是软件工程服务脱 胎于计算机学科和信息学及其相关的工程技术学科和管理学以及教育学的相关部分。前一轮形成了软件产品概念，后一轮形成了 软件服务概念。这是一个系统工程，其特点是整体大于局部之合。在此，就是虚拟的自然人（设计者和用户）与虚拟的计算机（操作 系统和应用系统以及其它各式各样的软件）各自的功能，均不及两者结合而成的协同智能计算系统的整合功能。 关键词： 软件产品；软件工程服务；双语信息处理；间接形式化。 中图分类号： 文献标识码： TP18　　　　　 A　　　　　　DOI: 10.3969/j.issn.1003-6970.2011.07.001 The Uniqueness of Software Engineering：The Dual Formalizations ZOU Xiaohui1,2,3, ZOU Shunpeng1 (1.China University of Geosciences (Beijing) Institute of Higher Education, Beijing 100083, China;2.Engineering Institute of Synergy Culture Gene, (Zhuhai) Tsinghua Science Park, Zhuhai 519000, China;3.Chinese Institute of Electronics Software magazine deputy editor Contributing writer, Beijing 100044, China) Abstract This article aims to discuss the second path to software engineering and its significance by taking the bilingual information 【 】 processing of both digit and script for example. Specifically, it involves the following two questions and their corresponding answers: First, what is software engineering discipline unique for? The problem of dual path to software engineering is further proposed in the process of answering it. Second,