| 软件工程学科何以独特——形式化方法的双重路径 |
| |
| 引用本文： | 邹晓辉,邹顺鹏.软件工程学科何以独特——形式化方法的双重路径[J].软件,2011,32(7):1-14,20. |
| |
| 作者姓名： | 邹晓辉 邹顺鹏 |
| |
| 作者单位： | 1. 中国地质大学(北京)高等教育研究所,北京,100083;清华科技园(珠海)融智文化基因工程研究所(筹),珠海,519000;中国电子学会、天津电子学会《软件》杂志,,北京,100044
2. 中国地质大学(北京)高等教育研究所,北京,100083 |
| |
| 摘 要： | 本文旨在以数字和文字双语信息处理为例论述软件工程的第二路径及其重要意义。具体涉及如下两个问题及其解答：第一，软件工程学科何以独特？在其解答过程中进一步提出了软件工程的双重路径问题；第二，软件工程的第二路径为什么显著优于第一路径？其中预示软件产业将由此重组。从方法论的角度来看，前者涉及协同智能观；后者涉及第二路径的论证。从学科体系的角度来看，涉及软件的两次定位。其中，如果说第一次是计算机软件产品脱胎于数学和语言学，那么，第二次就是软件工程服务脱胎于计算机学科和信息学及其相关的工程技术学科和管理学以及教育学的相关部分。前一轮形成了软件产品概念，后一轮形成了软件服务概念。这是一个系统工程，其特点是整体大于局部之合。在此，就是虚拟的自然入（设计者和用户）与虚拟的计算机（操作系统和应用系统以及其它各式各样的软件）各自的功能，均不及两者结合而成的协同智能计算系统的整合功能。
|
| 关 键 词： | 软件产品 软件工程服务 双语信息处理 间接形式化。 |
The Uniqueness of Software Engineering:The Dual Formalizations |
| |
| ZOU Xiaohui,ZOU Shunpeng.The Uniqueness of Software Engineering:The Dual Formalizations[J].Software,2011,32(7):1-14,20. |
| |
| Authors: | ZOU Xiaohui ZOU Shunpeng |
| |
| Affiliation: | 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,3.Chinese Institute of Electronics Software magazine deputy editor Contributing writer,Beijing 100044,China) |
| |
| Abstract: | |
| |
| Keywords: | Software Product Software Engineering Service Bilingual Processing Indirect Formalization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
