软件体系结构评估技术

作为在软件生命周期早期保障软件质量的重要手段之一,软件体系结构评估技术是软件体系结构研究中的一个重要组成部分.将现有的软件体系结构评估方法划分为3类:基于场景的评估方法、基于度量和预测的评估方法以及特定软件体系结构描述语言的评估方法.按照软件体系结构评估技术的评价框架,分别从评估方法的目标、质量属性、关键技术等方面对这3类方法的特点进行介绍和对比.最后分析了现有研究中存在的不足并进一步探讨了软件体系结构评估技术的研究趋势.     

软件体系结构研究综述

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.归纳了软件体系结构技术发展过程及其主要研究方向.在分析了典型的软件体系结构概念之后,给出了软件体系结构的定义.通过总结软件体系结构领域的若干研究活动,提出了软件体系结构研究的两大思路,并从7个方面介绍了软件体系结构研究进展.探讨了软件体系结构研究中的不足之处,并分析其原因.作为总结,给出了软件体系结构领域最有前途的发展趋势.     

软件体系结构研究进展

作为控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一,软件体系结构自提出以来,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域.如今,软件体系结构的研究也开始超出传统的对软件设计阶段的支持,逐步扩展到整个软件生命周期.基于软件体系结构近十年来的研究进展,综述了在软件生命周期的不同阶段软件体系结构的研究与应用,并探讨了软件体系结构领域的发展与研究方向.     

软件体系结构研究与实践

软件体系结构的使用是提高软件开发质量、减少软件开销和促进软件生产率提高的最有效方法之一。对软件体系结构的研究也开始超出传统的对软件设计阶段的支持,并逐步扩展到整个软件生命周期。采用定性分析、比较研究等多种方法,阐述软件体系结构研究的基本内容及软件体系结构实践等相关内容。首先给出了软件体系结构的定义,介绍了软件体系结构风格,然后从软件生命周期的角度阐述了软件体系结构实践及相关内容,最后总结了软件体系结构的研究现状与发展趋势。     

软件体系结构研究与实践

软件体系结构的使用是提高软件开发质量、减少软件开销和促进软件生产率提高的最有效方法之一。对软件体系结构的研究也开始超出传统的对软件设计阶段的支持，并逐步扩展到整个软件生命周期。采用定性分析、比较研究等多种方法，阐述软件体系结构研究的基本内容及软件体系结构实践等相关内容。首先给出了软件体系结构的定义，介绍了软件体系结构风格，然后从软件生命周期的角度阐述了软件体系结构实践及相关内容，最后总结了软件体系结构的研究现状与发展趋势。     

软件体系结构质量评价方法概述

软件体系结构是软件开发过程初期的产品,对软件体系结构进行分析与评价是控制软件质量的关键之一。目前主流的软件体系结构质量评价方法基本上都是基于场景的技术,并且已经在很多领域得到了应用。本文阐明了软件体系结构分析的重要性,介绍了几种主要的软件体系结构分析方法,并分析了当前在该领域所遇到的一些困难或问题,方法的选择对于结果和软件质量有着重要的意义。     

解析奠定软件体系结构研究与设计基础的一组基本概念

一、引言在大型复杂软件产品的开发过程中强调软件体系结构设计将有利于保证软件产品的质量、提高其开发效率、降低其开发成本。因此,在此类软件产品的开发过程中软件体系结构设计是非常重要的一环。然而,人们对软件体系结构及其设计方法和设计工具进行系统深入的研究只是最近十年的事情,而且对“什么是软件体系结构”迄今未能形成完全一致的看法。不过,随着研究工作的逐步深入,越来越多的研究成果正在揭示,软件体系结构应当用一组相互关联着的基本概念共同定义。基于对相关研究成果的分析和研究,我们认为,这组基本概念应当包括软件结构、软件结构风格、软件结构观点以及软件结构级别,而且这组相互关联着的基本概念共同奠定了软件体系结构研究与设计的基础。显然,清楚地理解这组基本概念的含义以及它们之间的关系是人们在软件体系结构领域进一步开展工作的先决条件。本文将对这组基本     

管理信息系统软件体系结构演化研究

采用软件体系结构技术,可以使软件开发具有较高的实用价值,开发的软件系统具有可重用性、共享性和可维护性,并可以提高软件生命周期.论文对综合人事信息系统软件体系结构发现、演化、复用进行了研究,分析了综合人事信息系统体系结构发展中的四种体系结构,揭示了综合人事信息系统软件体系结构从管道型到异构型的演化历程,研究成果对管理信息系统软件体系结构设计有重要参考价值.     

基于UML的软件体系结构建模方法的研究

软件体系结构是软件工程中的一个重要领域。对软件体系结构的分析和设计已成为决定软件系统（特别是大型软件系统）成功的重要因素。体系结构描述语言ADL能以一种比较直接、精确的方式来描述软件体系结构,但它很难与主流开发方式集成。UML是一种应用广泛的对象建模语言,已被工业界广泛接受。本文介绍了一种UML与ADL集成的方法,对软件系统的开发具有较大的实用价值。     

软件体系结构风格的实例研究

软件体系结构研究领域中，风格的研究与应用是一个重要的领域。本文讨论了软件体系结构的概念和风格，在此基础上特别对CORBA，基于Web的分布式系统结构，领域专家系统，基于商业背景的可重用软件体系结构等内容进行了讨论，并给出了它们相关风格。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.     

国内外标准法规比对分析系统设计与实现

为发现我国国家标准与国外发达国家标准法规的差距,从根本上提高我国国家标准的总体质量,提升我国产品的质量安全水平,以关键指标(因子)为核心,研究国内外标准法规比对的工作流程,利用面向对象的方法设计,实现了国内外标准法规比对分析系统。该系统适用于所有产品国内外标准法规的比对工作。     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.