摘要:

This paper decribes an incremental environment which has been developed to meet the needs of developers and maintainers of large Ada projects. This environment assists the user to develop valid Ada text while consulting other Ada packages and documents. It is built around an embedded syntax-directed editor which controls text inspection, modification and, subsequently, re-compilation. In addition, the data accumulated by a translator is available during editing to provide semantic assistance on request.

DOI:10.1049/sej.1987.0025

出版商:IEE    

年代:1987

数据来源: IET

摘要:

The major requirements of a system for software re-use are that it must provide an abstraction mechanism for adequately describing the components, a mechanism for naming and storing the components, and a mechanism for composing new objects out of existing components. This paper describes a polymorphic type system that may be used to describe generic components and a persistence mechanism that may be used to name, store and compose components. By integrating the two, a strongly typed persistent environment that is an ideal base as a system for software re-use is obtained.

DOI:10.1049/sej.1987.0026

出版商:IEE    

年代:1987

数据来源: IET

摘要:

This paper presents a comparison of Pascal and Modula-2 based on the implementation of the basic components of a multi-tasking kernel. The major issues involved in high-level language implementation of a stand-alone multi-tasking kernel on a microprocessor system are the transportation of the language support system and what may be termed software engineering considerations. The merits of Pascal and Modula-2 with respect to these issues are compared. Standard Pascal is a sequential language, and the development of the multi-tasking features of the kernal has to take place outside the scope of the language. The Modula-2 language (nucleus), however, allows the kernal to be built entirely using high-level constructs. Issues of language run-time support and portability are also covered. These topics and the high-level handling of interrupts have received little attention in the literature on Modula-2. The Modula-2 kernel also provides a possible implementation of the ‘MODULE processes’.

DOI:10.1049/sej.1987.0027

出版商:IEE    

年代:1987

数据来源: IET

摘要:

Occam is a CSP-based concurrent programming language for programming transputer networks. This paper examines the suitability of occam as specified in the original definition of the language and the OPS-2.1 implementation for describing hardware systems. Behavioural and structural descriptions of a typical instruction set processor at different levels of abstraction are presented as a design example.

DOI:10.1049/sej.1987.0028

出版商:IEE    

年代:1987

数据来源: IET