软件构件组装技术发展研究

在4个方面对软件构件组装技术的发展进行研究:①从软件工程发展规律的角度,揭示软件构件组装技术发展历程;②从软件构件技术本质的角度,比较了几种软件构件组装技术,浅析这些技术的优缺点;③从软件系统实现的本质,提出了软件构件组装技术研究的内容;④以Internet的出现为背景,探索了软件构件组装技术的发展趋势.     

代码自然性及其应用研究进展

代码自然性(code naturalness)研究是自然语言处理领域和软件工程领域共同的研究热点之一,旨在通过构建基于自然语言处理技术的代码自然性模型,以解决各种软件工程任务.近年来,随着开源软件社区中源代码和数据规模的不断扩大,越来越多的研究人员注重钻研源代码中蕴藏的信息,并且取得了一系列研究成果.但与此同时,代码自然性研究在代码语料库构建、模型构建和任务应用等环节面临许多挑战.鉴于此,从代码自然性技术的代码语料库构建、模型构建和任务应用等方面对近年来代码自然性研究及应用进展进行梳理和总结.主要内容包括:(1)介绍了代码自然性的基本概念及其研究概况;(2)归纳目前代码自然性研究的语料库,并对代码自然性模型建模方法进行分类与总结;(3)总结代码自然性模型的实验验证方法和模型评价指标;(4)总结并归类了目前代码自然性的应用现状;(5)归纳代码自然性技术的关键问题;(6)展望代码自然性技术的未来发展.     

软件评测师考试重点和难点分析

一、考试介绍软件评测师是2005年上半年(5月)新增加的考试级别。根据考试大纲(2005年版),该考试要求考生:(1)熟悉计算机基础知识;(2)熟悉操作系统、数据库、中间件、程序设计语言基础知识;(3)熟悉计算机网络基础知识;(4)熟悉软件工程知识,理解软件开发方法及过程;(5)熟悉软件质     

软件工程中人的因素之文献综述

提高计算机技术利用率的决定性因素是软件的可用性。技术的发展旨在减少开发和维护软件所需的工作量并且软件的可用性必须由开发人员提高。这两者可以从人的因素工程界得到显著的裨益。我们应向何处努力?本文将:(1)提供研究软件工程中人的因素的框架;(2)概述软件工程中人的因素的文献;(3)认清应予以讨论的若干研究领域。     

论述软件工程技术发展思索与应用

软件作为一种特别的产品,软件的发展规模与繁琐性不断地提高。本文主要从四个层面对软件工程技术的发展进行一些思索:第一,就事物发展规律的视角,阐述了软基工程技术的发展史;第二,就软件本质特点的视角,分析了虚拟机各个抽象方面的构成;第三,就软件开发的视角,体现软件工程要探究的内容;第四,研究了软件技术的发展动向。本文还介绍了软件工程技术在课程设计中的应用情况。     

星载嵌入式软件的构件化体系研究

软件构件技术是当前软件工程的一个热点研究领域,本文从软件构件体系的角度,全面叙述了如何通过构件化技术方法,提高星载软件的研制效率和研制能力,为解决星载软件重复研发,可靠性保障成本较高的问题提供了一条技术解决方案。     

软件工程方法的演化

本文从处理软件复杂性的角度，对软件工程中不同的发展时期主要的软件开发方法进行了分析和比较。其中主流的方法包括结构方法、面向对象方法、组件技术、软件模式、面向Aspect技术、软件体系结构和软件代理技术。     

软件集成新技术

计算机应用的逐步扩大,计算机软件的规模不断增大,必然引起软件复杂度增加.六十年代末出现的软件危机呼唤人们寻求一种解决软件可靠性、质量、维护等诸多问题的有效途径.“软件工程”的提出和应用就在这一背景下产生的,其目的是要提高软件的生产率与可靠性,实现软件产品的优质高产.在软件工程发展的二十多年时间里,人们在软件开发技术上取得了很大进展.然而,软件生产工业化、自动化程度还相当低.面对硬件IC(Integrated Circuit)在硬件制造工业上取得巨大成功的事实,软件研究人员相应进行了软件集成技术(包括软件IC-Intergrated Com- ponent)的研究;面向对象(OO)技术的研究与应用,有力地推动了软件集成技术的发展.近年来,已出现了一些与软件集成有关的标准和产品,这对今后软件工业的发展将会产生重大而深远的影响.     

软件开发实践中工程技术的探究

经过多年的发展与创新,软件工程技术取得了一定的成就。本文通过对面向过程和面向对象的软件工程方法、现在工程技术的发展和应用现状进行分析,提出了两种软件工程方法的整合、软件复用、软件构件、软件生产线技术的发展趋向,并将它们应用于软件开发实践中,对软件产业的发展具有一定的指导意义     

基于XML的软件总线设计的研究与实现

随着软件工程的不断发展,以及面向对象技术、软件组件技术和软件复用技术的开发与利用,软件总线的研究与开发已逐步成为关注的重点。软件总线也像计算机硬件总线一样,只要符合总线标准的软件组件均可以插接到软件总线上去,以实现组件的即插即用(plug-and-play)。在此,基于对软件总线技术的研究,介绍了一种基于XML的软件总线设计方案,通过使用软件总线技术开发和集成软件,不但可以大大地缩短开发周期,还可以进一步提高软件的开发效率和质量。     

计算模式的演变与大规模软件构架技术

随着计算机技术,特别是网络技术的发展,计算模式的内涵发生了很大的变化。在分析了计算模式演变的基础上,指出了传统意义上研究开放分布式技术的缺陷;针对分布式计算模式对开放性等的进一步需求,引出了大规模软件构架的概念,并阐述了它的内涵。在大规模软件构架技术中,对软件体系结构在较高层面上的研究显得更为迫切,相对于开放分布式技术,其包含着更加丰富的内容,这对目前软件体系结构的研究和软件工程过程的研究等提出了更高的要求。最后提出,以大规模软件构架技术作为支撑,融合软件Agent技术将是未来软件开发的主流模式。     

A Component-Based Software Configuration Management Model and Its Supporting System

Software configuration management(SCM)is an important key technology in software development.Component-based software development (CBSD)is an emerging paradigm in software development.However,to apply CBSD effectively in real world practice,supporting SCM in CBSD needs to be further investigated.In this paper,the objects that need to be managed in CBSD is analyzed and a component-based SCM model is presented.In this model,Components,as the integral logical constituents in a system,are managed as the basic configuration items in SCM,and the relationships between/among components are defined and maintained.Based on this model.a configuration management system is implemented.     

A Model-Based Approach to Object-Oriented Software Metrics

The need to improve software productivity and software quality has put forward the research on software metrics technology and the development of software metrics tool to support related activities.To support object-oriented software metrics practice efectively,a model-absed approach to object-oriented software metrics is proposed in this paper.This approach guides the metrics users to adopt the quality metrics model to measure the object-oriented software products .The development of the model can be achieved by using a top-down approach.This approach explicitly proposes the conception of absolute normalization computation and relative normalization computation for a metrics model.Moreover,a generic software metrics tool-Jade Bird Object-Oriented Metrics Tool(JBOOMT)is designed to implement this approach.The parser-based approach adopted by the tool makes the information of the source program accurate and complete for measurement.It supports various customizable hierarchical metrics models and provides a flexible user interface for users to manipulate the models.It also supports absolute and relative normalization mechanisms in different situations.     

大数据视域下软件工程技术应用的实现路径

随着大数据时代的来临,大数据技术深入贯穿社会生产、生活的方方面面,尤其是随着5G通信技术的广泛应用,软件工程技术的应用迎来了前所未有的发展机遇和挑战。文章将大数据视域下软件工程技术应用的实现路径作为研究对象,从大数据及软件工程技术概述入手,充分分析了软件工程的核心技术,进而提出大数据视域下软件工程技术应用的实现路径,希望以此来不断提高软件工程技术的应用水平。     

程序智能合成技术研究进展

近年,随着信息技术快速发展,软件重要性与日俱增,极大地推动了国民经济的发展.然而,由于软件业务形态越来越复杂和需求变化越来越快,软件的开发和维护成本急剧增加,迫切需要探索新的软件开发模式和技术.目前各行业在软件活动中积累了规模巨大的软件代码和数据,这些软件资产为软件智能化开发建立了数据基础.与此同时,深度学习等人工智能技术在多领域取得的成功应用,促使研究者考虑使用智能化技术与软件工程技术相结合解决程序自动生成问题.程序智能合成方法是程序自动生成的新途径,通过实现软件开发过程自动化,提高软件生产率.本文首先分析了软件工程发展历程及挑战.进而研究了智能化程序合成技术领域的研究布局,以及各方法的优势和劣势.最后,对程序智能合成技术加以总结并给出了未来研究建议.     

Development of Software Engineering: A Research Perspective

In the past 40 years, software engineering has emerged as an important sub-field of computer science and has made significant contribution to the software industry. Now it is gradually becoming a new independent discipline. This paper presents a survey of software engineering development from a research perspective. Firstly, the history of software engineering is reviewed with focus on the driving forces of software technology, the software engineering framework and the milestones of software engineering development. Secondly, after reviewing the past academic efforts, the current research activities are surveyed and new challenges brought by Internet are analyzed. Software engineering researches and activities in China are also reviewed. The work in Peking University is described as a representative.     

面向Agent的软件工程:现状与挑战

面向Agent软件工程是近年来软件工程领域出现的一个重要的前沿研究方向，它试图将Agent理论和技术与软件工程的思想、原理和原则相结合，从而为基于Agent系统的开发提供工程化手段．近年来，随着Internet上的web应用以及软件开发社会化的发展，面向Agent软件工程受到了学术界和工业界的高度关注和重视，研究活跃，发展迅速．从应用需求和技术发展两个方面阐述了面向Agent软件工程的产生和发展背景；从技术、管理和工具3个视点综述了现阶段面向Agent软件工程的研究内容；分析了面向Agent软件工程的研究现状；最后讨论了它存在的问题和面临的挑战以指导进一步研究．     

Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware

Over the last two years, we have demonstrated the feasibility of applying category-theoretic methods in specifying, synthesizing, and maintaining industrial strength software systems. We have been using a first-of-its-kind tool for this purpose, Kestrel's Specware^TM software development system. In this paper, we describe our experiences and give an industrial perspective on what is needed to make this technology have broader appeal to industry. Our overall impression is that the technology does work for industrial strength applications, but that it needs additional work to make it more usable. We believe this work marks a turning point in the use of mathematically rigorous approaches to industrial strength software development and maintenance.It is interesting to note that when this technology is applied to software systems whose outputs are designs for airplane parts, the design rationale that is captured is not only software engineering design rationale, but also design rationale from other engineering disciplines (e.g., mechanical, material, manufacturing, electrical, human factors, etc.). This suggests the technology provides an approach to general systems engineering that enables one to structure and reuse engineering knowledge broadly.     

Understanding the Philosophical Underpinnings of Software Engineering Research in Information Systems

The Information Systems (IS) discipline, and related research, focuses on the development, understanding, and use of technology to meet business needs. Technology, in particular software, is the basis for IS research, making software engineering a critical component of research in the IS domain. While the importance of software development is well accepted, what constitutes high quality software engineering research is not well defined. Perhaps this is because some software development clearly is not research and it is hard to distinguish between pure application development, and systems development that pushes the boundaries of knowledge. Sir Karl Popper argued that the scientific quality of research is not based on its empirical method, but on the nature of the questions asked. Our research suggests that software engineering can meet Popper's criteria for scientific research.Drawing on well-established research philosophies, we propose a software engineering research methodology (SERM) and discuss the utility of this methodology for contributing to and expanding the IS body of knowledge. We also describe the considerations that need to be addressed by SERM to enhance acceptability of software engineering research in IS. Our suggestions are corroborated with a review of current IS software engineering research reported in leading IS journals.