Execution Support Environment

Front Cover
World Scientific, 1994 - Computers - 427 pages
SYSTEM SOFTWARE AND SOFTWARE SYSTEMS: Concepts and Methodology is intended to offer a systematic treatment of the theory and practice of designing and implementing system software.The two volumes systematically develop and apply the systems methodology for software development. For that the concept of a system is analysed and various types of systems used in computer science are systematized into a concept of an ad hoc system that is suitable as a mechanism for software development. The kernel of this methodology consists of a systematic approach for ad hoc systems development (specification, implementation, validation). The hardware and the software of a computer system are specified as ad hoc systems. Examples from various architectures, languages, and operating systems are provided as illustrations. Problems and their suggested solutions are provided at the end of each chapter. Further readings and a list of references conclude each chapter.These volumes are self-contained and may be used as textbooks for an introductory course on system software and for a course on operating system. However, a broad spectrum of professionals in computer science will benefit from it.

What people are saying - Write a review

We haven't found any reviews in the usual places.


Process management and parallel programming
Parallel process interaction
Process interaction by message passing
Language support for parallel programming
Memory management system micro level
Memory management system macro level
Information management system

Other editions - View all

Common terms and phrases

Popular passages

Page 413 - RC Daley and JB Dennis, Virtual memory, processes, and sharing in MULTICS.
Page 413 - WM Corwin, KK Lai, and FJ Pollack. "Interprocess Communication and Processor Dispatching on the Intel 432".
Page 412 - ... Parameters in a Persistent Environment". In Workshop on Persistent Object Systems: their design, implementation and use, volume PPRR 16, pages 1-24, Appin, Scotland, Aug. 1985. Universities of Glasgow and St. Andrews, Scotland. 3. Buhr, PA and Zarnke, CR "A Design for Integration of Files into a Strongly Typed Programming Language".