Distributing quality-controlled software via the internet

We describe in this paper an archive of software which has been established and made available to users of the Internet. The archive was establishde initially as a collection of public domain software, made available to users at no cost. Use of the archive has grown rapidly: it now contains over 600 items, and withdrawals take place to some 50 countries world-wide at a rate of about 40,000 items each month. We describe here the organisation of the archive and summarise its contents. A particular aspect of this has been our aim to define qualitative criteria for the inclusion of software in this collection, and we discuss our approach to this and other issues.     

Acquisition and validation of software requirements

This paper presents a knowledge-based software engineering tool, DASERT (Detection of Anomalies in Software Engineering Requirements Texts), to acquire and validate functional requirements in natural language. The user describes the functional specifications through informal methods, using graphics with comments in natural language. During this elaboration step the system validates the document by processing the comments semantically to detect ambiguities or inconsistencies. To do so it uses natural language processing and knowledge base engineering.DASERT's kernel is a KL-ONE-like semantic network, which helps the semantic parsing of the comments and their semantic representation. This knowledge base is first initialized by the acquisition of the lexical domain knowledge, then progressively enriched with the domain terminology given by the user and with the requirements knowledge extracted from the user's graphics and texts.During initialization and enrichment, the network manager validates the knowledge structurally. This ensures the logical consistency of the base which is then checked for inconsistencies and ambiguities specific to the domain of software requirements.From a software engineering point of view, the originality of DASERT is that it provides a semantic checking of an informal specification by interpreting the natural language comments. From a knowledge acquisition point of view, DASERT allows acquisition from texts to build the kernel of a knowledge base which is then used to guide the semantic parsing of texts during the acquisition of the specification itself. Moreover, the representation formalism provides a unified view of acquisition and validation.     

An interactive software system for microcode development

In this paper we describe a simulator-based microcode development system, in this design of which particular emphasis is placed on the provision of powerful, flexible and easy-to-use facilities for interactive microprogram testing and monitoring. The principal features of the design are the provision of a command structure for user interaction; the use of symbolic names for objects referenced within the simulated machine; and the implementation of two forms of execution monitoring which, taken together, provide a very full range of variations in the way execution can be studied. Although the present implementation is being used to assist in microcode development for a particular machine, the system is structures so as to facilitate its adaptation to the needs of successors to this machine, and it is intended that the system will also be used as a design tool during architectural development.     

财经类院校软件工程专业实践教学改革的探索

本文从分析财经类院校软件工程专业的实践教学的特殊性以及存的问题和原因,提出了结合经济“经济十模块”的实践教学体系改革方案。本方案旨在拓宽软件工程专业学生在财经类软件方面实践动手能力,为社会培养具有分析设计能力和创新能力的财经软件设计专业化人才。     

Models in software engineering - an introduction

Modelling is a concept fundamental for software engineering. In this paper, the word is defined and discussed from various perspectives. The most important types of models are presented, and examples are given. Models are very useful, but sometimes also dangerous, in particular to those who use them unconsciously. Such problems are shown. Finally, the role of models in software engineering research is discussed.Received: 21 October 2002, Accepted: 10 January 2003,     

Models in software engineering - an introduction

Modelling is a concept fundamental for software engineering. In this paper, the word is defined and discussed from various perspectives. The most important types of models are presented, and examples are given. Models are very useful, but sometimes also dangerous, in particular to those who use them unconsciously. Such problems are shown. Finally, the role of models in software engineering research is discussed.     

科技期刊常用排版软件的选择

通过对几款科技期刊常用排版软件的特点的比较分析,结合作者多年的工作实践,提出了选择适合于不同刊物特点排版软件应注意的问题。认为通过选择合适的排版软件,可以在编辑出版的各个环节提高工作效率,减少编校差错。     

Research software citation in the Data Citation Index: Current practices and implications for research software sharing and reuse

The aim of this study is to explore the phenomenon of research software citation and, in particular, to draw attention to the increasing importance of this form of citation in scholarly communication. This research sheds light on the current status of formal software citation that is captured by citation databases. Data for the study were gathered from more than 67,000 research software records available in public repositories indexed by Clarivate Analytics’ Data Citation Index (DCI). The metadata characteristics of the indexed records and citation data were then analyzed. Research software was rarely cited in the DCI, suggesting that the documented reuse of research software rarely occurs or is not well documented. Institutional repositories attracted few citations and had low rate of citation. It proved impossible, however, using the available data to isolate specific identifiers that can promote formal software citation. The findings presented here offer insights into research software citation that will be of interest to funding agencies, publishers, researchers, and research organizations.     

The design of software for distributed control systems

The use of a network of computers rather than a large centralised computer can simplify the installation, commissioning, maintenance and the eventual replacement of computer-based control systems. To ensure that these benefits are realised in practice, a Central Electricity Generating Board project has been initiated to produce a standard software system, called CUTLASS, for implementing distributed control and instrumentation systems in power stations. This article describes a prototype network that has been implemented to evaluate the main design concepts of this standard software system.     

Adobe Reader 8.0在作者远程校对中的应用

介绍一种利用免费的Adobe Reader 8.0软件实施远程校对的方法,可以替代纸质校样校对,其操作较其他方法更为简便,对于作者则无费用及操作方面的困扰.     

开源软件与图书馆创新能力研究

迅速发展的开源软件为图书馆建设提供了一种新的模式,图书馆利用开源软件可以提升自己的创新能力,创立自己的品牌,在竞争中处于优势.