摘要:

AbstractThis paper describes the development of a program to solve the Henderson and Snowdon ‘Telegrams Problem’, the program being expressed as a set of communicating sequential processes (Hoar

ISSN:0038-0644    

DOI:10.1002/spe.4380100902

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

摘要:

AbstractA simple nucleus for a single‐processor computer is considered. The entire nucleus program is written in the high‐level programming language Modula‐21without assembly coding. The concepts of the nucleus and some simple applications are described. A complete listing of the nucleus is included. We conclude that programming of a nucleus in an appropriate high‐level language is simpler than in an assembly language. The resulting nucleus has a comparable performance with other nuclei written in assemb

ISSN:0038-0644    

DOI:10.1002/spe.4380100903

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

摘要:

AbstractThis paper describes the problems encountered during the standardization of RTL/2. It is presented as an object lesson to illustrate the care needed when first defining a programming language to ensure that the loopholes are few. As well as describing the minor alterations made to the definition of RTL/2, this paper serves as a historical record of some of the other possible changes which were considered and rejected.

ISSN:0038-0644    

DOI:10.1002/spe.4380100904

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

摘要:

AbstractWe present a language for specifying and documenting discrete event simulation models, designed to facilitate communication during model design, implementation and maintenance. The systems from which models are developed are viewed as collections of communicating elements. Each element is specified separately in a module consisting of attributes, axioms and a scenario. The model's specification consists of each model element's specification and some systemwide attributes and axioms. Synchronization among model elements (model dynamics) is specified within the model elements rather than globally. Each language control structure has a monitor associated with it. Appropriate changes are made in the model's state in response to a monitor's sensing an attribute change. The language contains a library of specifications for common simulation model entities such as the priority queue. The syntax and semantics of the language are presented through examples. Examples of a library specification and a model specification are included.

ISSN:0038-0644    

DOI:10.1002/spe.4380100905

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

摘要:

AbstractIn preparing a revision of XRAY, a large scientific crystallographic software package, it was decided to use a structured language as the primary coding language. RATFOR was chosen as the most appropriate preprocessor. Initial implementation experience showed that while RATFOR improved the quality of the coding it did little to ease the problems of portability. By augmenting RATFOR with a powerful macro processor, a versatile tool for generating portable scientific software was developed. The resulting preprocessor, RATMAC, is portable and can be optimized, via macros, to a local operating environment. Its characteristics, strengths and weaknesses are described.

ISSN:0038-0644    

DOI:10.1002/spe.4380100906

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

摘要:

AbstractThis paper discusses the software interface between a computer system and its users, and how it can be made convenient and practical for both the users and implementors of systems. Consistency of interaction is essential, though it is argued that it is too early to define true standards. Standards must be based on experience of actual systems, and must meet specifications that can be justified from the performance of the best of such systems. As one contribution to such a specification, a description is given of MM/1, a family of user interfaces which can be used as a basis for interactive dialogues. MM/1 is suitable for both large and small computers. The thinking behind the interface is given, together with experience of its use in three different systems.

ISSN:0038-0644    

DOI:10.1002/spe.4380100907

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380100901

出版商:John Wiley&Sons, Ltd.    

年代:1980

数据来源: WILEY