摘要:

In order to make precise some of the desirable features of a programming support environment, and in order to encourage others to do likewise, this paper presents the formal specification of a small module or package manager suitable foruse in a Modula or Ada environment.

DOI:10.1049/sej.1987.0012

出版商:IEE    

年代:1987

数据来源: IET

摘要:

Term rewriting is a widely used technique for executing equationai logic programs. This paper describes the design methodology used in the rigorous development of a rewrite rule interpreter for UMIST OBJ, a language for expressing executable algebraic specifications of programs. The design methodology was inspiredby the use of UMIST OBJ itself as a development tool.

DOI:10.1049/sej.1987.0013

出版商:IEE    

年代:1987

数据来源: IET

摘要:

This paper considers the approach taken by the ESPRIT-funded REQUEST project to measuring, modelling and predicting software quality. The paper describes previous work on defining software quality and indicates how the work has been used by REQUEST to begin the formulation of a constructive quality model (COQUAMO). The paper concludes that the original goal of the project to produce a predictive quality model was unrealistic, but that a quality system incorporating prediction, analysis and advice is feasible.

DOI:10.1049/sej.1987.0014

出版商:IEE    

年代:1987

数据来源: IET

摘要:

This paper discusses the type of statistical techniques that will be required to formulate, evaluate and use the proposed REQUEST constructive quality model (COQUAMO). Statistical techniques are evaluated in terms of the probable nature and mode of use of COQUAMO, the requirements for model and metric validation, and the problems associated with software metrics data. Examples of preliminary evaluation of the proposed statistical techniques are given using genuine software metrics data.

DOI:10.1049/sej.1987.0015

出版商:IEE    

年代:1987

数据来源: IET

摘要:

Many science and engineering students at university receive some elementary high-level language programming training at an early stage in their studies. However, few of them get any experience in using other techniques that are in common use in industrial software development and which are generally referred to as software engineering. This paper describes the aims, the content and the results of presenting an intensive two-week software engineering course prepared in industry and given to third-year students in the Department of Applied Physics at the University of Strathclyde.

DOI:10.1049/sej.1987.0016

出版商:IEE    

年代:1987

数据来源: IET

摘要:

This paper describes the role that software engineering has played in the development of the undergraduate degree in computer science at University College London. The authors discuss their philosophy for teaching software engineering and describe their experiences to date.

DOI:10.1049/sej.1987.0017

出版商:IEE    

年代:1987

数据来源: IET

摘要:

Among the various software tools developed in the early stages of the York Ada compiler project are two families of tools described here. Syntax-drivengenerators, distinctive in their inclusion of a mechanism for syntax abstraction and their mode of adaptability, were used to produce a variety of compiler components; interfacecheckers, automatically generated from specifications of the information intended to pass between components, were used to help isolate and repair faulty components.

DOI:10.1049/sej.1987.0018

出版商:IEE    

年代:1987

数据来源: IET