The Uniqueness of Software Engineering: The Dual Formalizations

SOFTWARE
(Published monthly since 1979)
Vol.32 No.7 Jul.2011
ISSN 1003-6970 CN12-1151/TP

Experts Forum
The Uniqueness of Software Engineering: The Dual Formalizations ……………………… ZOU Xiaohui, ZOU Shunpeng (1)

The Uniqueness of Software Engineering：The Dual Formalizations
ZOU Xiaohui ^1,2,3, ZOU Shunpeng ¹

(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, why is the second path to software engineering significantly better than the first path? This indicates that the software industry will encounter re-shuffle. From the view of methodology, the first question would involve collaborative intelligence concept; the second question relates to the reasoning of the second path. From the perspective of the disciplinary system, both of them involve the last two positioning of software. Of which, if the first is computer software products born out of math and linguistics, then the second is software engineering services grew out of computer science, information science and their related engineering and technological disciplines,the relevant part of management as well as education. The first round of positioning formed the concept of software product, and the second formed the concept of software service. This is systematic engineering project, which is characterized by that the whole is greater than the sum of its parts together. Here, it means that the separate functions of a virtual natural brain (designer and user) and a virtual machine (operating system and application system as well as other software) cannot reach the extent of the integrated function of collaborative intelligent computing system made by the combination of the both.
【Key words】Software Product; Software Engineering Service; Bilingual Processing; Indirect Formalization

软　件
（Ruan Jian）
月刊（1979 年创刊）
2011 年7 月 第32 卷第7 期
ISSN1003-6970 CN12-1151/TP

《软件》杂志首届中文核心期刊，被《中国核心期刊（遴选）数据库》、《中国学术期刊综合评价数据库来源期刊》、《万方数据—数字化期刊群全文收录期刊》、《中文科技期刊数据库（全文版）收录期刊》、《中国知识资源总库CNKI 源期刊》、美国《乌利希国际期刊指南》、波兰《哥白尼索引》、美国《剑桥科学文摘》等国内外数据库收录

目　录

专家论坛
软件工程学科何以独特——形式化方法的双重路径*…………………………………………… 邹晓辉　邹顺鹏 (1)

软件工程学科何以独特——形式化方法的双重路径*
邹晓辉 ^1,2,3　邹顺鹏 ¹

（1. 中国地质大学（北京）高等教育研究所　北京 100083；2. 清华科技园（珠海）融智文化基因工程研究所（筹），珠海 519000；3. 中国电子学会、天津电子学会《软件》杂志 副主编 特约撰稿人 北京 100044）

摘　要：本文旨在以数字和文字双语信息处理为例论述软件工程的第二路径及其重要意义。具体涉及如下两个问题及其解答：第一，软件工程学科何以独特？在其解答过程中进一步提出了软件工程的双重路径问题；第二，软件工程的第二路径为什么显著优于第一路径？其中预示软件产业将由此重组。从方法论的角度来看，前者涉及协同智能观；后者涉及第二路径的论证。从学科体系的角度来看，涉及软件的两次定位。其中，如果说第一次是计算机软件产品脱胎于数学和语言学，那么，第二次就是软件工程服务脱胎于计算机学科和信息学及其相关的工程技术学科和管理学以及教育学的相关部分。前一轮形成了软件产品概念，后一轮形成了软件服务概念。这是一个系统工程，其特点是整体大于局部之合。在此，就是虚拟的自然人（设计者和用户）与虚拟的计算机（操作系统和应用系统以及其它各式各样的软件）各自的功能，均不及两者结合而成的协同智能计算系统的整合功能。
关键词：软件产品；软件工程服务；双语信息处理；间接形式化。
中图分类号：TP　　　　　文献标识码：A　　　　　　DOI: 10.3969/j.issn.1003-6970.2011.07.001