摘要:

AbstractA simulation model of the CERN (European Organization for Nuclear Research) SPS star computer network is described. The model concentrates on simulating the message handling computer, through which all messages in the network pass. The paper describes the main features of the model, the transfer time parameters in the model and how performance measurements were used to assist in the calibration of the model.

ISSN:0038-0644    

DOI:10.1002/spe.4380120702

出版商:John Wiley&Sons, Ltd.    

年代:1982

数据来源: WILEY

摘要:

AbstractA full‐screen text‐editor is described which has been augmented with a programming facility. The facility consists of an interpreter which inspects a program and generates output to drive the editor. This bridges the gap between text‐editing and text‐processing and allows the editor to carry out complicated operations. The features of the editor are described briefly, and the programming language employed by the interpreter is presented. Several applications are discussed to show the range and versatility of the

ISSN:0038-0644    

DOI:10.1002/spe.4380120703

出版商:John Wiley&Sons, Ltd.    

年代:1982

数据来源: WILEY

摘要:

AbstractThis paper briefly reviews the syntactic means which are present in some well‐known programming languages for denoting the application of user‐defined dyadic operators, and suggests an alternative syntax for operator applicati

ISSN:0038-0644    

DOI:10.1002/spe.4380120704

出版商:John Wiley&Sons, Ltd.    

年代:1982

数据来源: WILEY

摘要:

AbstractThe presentation of an abstract data type by a series of equational axioms has become an accepted specification mechanism. Verifying the correctness of such specifications has been recognized as a problem troubling their use. A means is presented for experimenting with a directly executable version of the axioms without having to choose representations for the data structures or describe algorithms for the operations.

ISSN:0038-0644    

DOI:10.1002/spe.4380120705

出版商:John Wiley&Sons, Ltd.    

年代:1982

数据来源: WILEY

摘要:

AbstractHADES is a command program designed to aid programmers and authors involved in writing systems with an inherently high degree of structuring. It presents the system being developed in a hierarchical fashion, encouraging a top down approach to its design, and alleviates many of the problems experienced with traditional filing systems. Unlike other programming environment systems, the utility programs and tools do not have to be ‘integrated’ into the system, which means that new and existing tools can be quickly and easily added. This results in a rich set of operations implemented at very low cost.The paper outlines some of the problems that arise with traditional filing systems from the point of view of software development, and then presents the approach adopted by HADES. This is followed by a discussion of the strengths and weaknesses of the result and some reflections on the lessons that have been lea

ISSN:0038-0644    

DOI:10.1002/spe.4380120706

出版商:John Wiley&Sons, Ltd.    

年代:1982

数据来源: WILEY

摘要:

AbstractThe role of the kernel of the operating system EMAS 2900 and the implementation of its functions are described in some detail. The significance of local scheduling policies and their implications on the design of the kernel are discussed with particular reference to paging management and scheduling control. It is shown that the concept of local and global control of resources can lead to a considerable simplification in the structure of an operating system kernel. The resulting operating system, EMAS 2900, provides interactive time‐sharing services very effectively and efficiently to a large computing communit

ISSN:0038-0644    

DOI:10.1002/spe.4380120707

出版商:John Wiley&Sons, Ltd.    

年代:1982

数据来源: WILEY

摘要:

AbstractWhen a document is prepared using a computer system, it can be checked for spelling errors automatically and efficiently. This paper reviews and compares several methods for searching an English spelling dictionary. It also presents a new technique,hash‐bucketsearch, for searching a static table in general, and a dictionary in particular. Analysis shows that with only a small amount of space beyond that required to store the keys, the hash‐bucket search method has many advantages over existing methods. Experimental results with a sample dictionary using double hashing and the hash‐bucket techniques are pres

ISSN:0038-0644    

DOI:10.1002/spe.4380120708

出版商:John Wiley&Sons, Ltd.    

年代:1982

数据来源: WILEY

摘要:

AbstractThe central problem of software engineering, namely an overall strategy for the successful production of large‐scale software, has not yet been solved. Various techniques do exist for separate sections of the production process, but largely owing to the huge costs involved, it is virtually impossible to perform controlled experiments to test their validity, or to compare competing methodologies.One alternative way of deciding which techniques are to be preferred is to set up a science of software management, and to evaluate methodologies within its framework. This paper is a first step towards such a science. It notes similarities between certain techniques for structuring the programming group, the program modules, the testing process and the actual code itself. A theory is then deduced which enables programming managers to choose from among the wide selection of available techniques those which are applicable to the specific system to be writte

ISSN:0038-0644    

DOI:10.1002/spe.4380120709

出版商:John Wiley&Sons, Ltd.    

年代:1982

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380120710

出版商:John Wiley&Sons, Ltd.    

年代:1982

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380120701

出版商:John Wiley&Sons, Ltd.    

年代:1982

数据来源: WILEY