System Software and Software Systems: Concepts and Methodology

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.For information on Volume 2, please see here.
Contents: "System Methodology for Software Development: "Systems MethodologyAlgebraic MethodologyInformal SystemsFormal SystemsFormal System ConstructionAlgebraic SystemsAd Hoc SystemsAd Hoc System Formalization (Transition Systems, Action Language)Ad Hoc System Construction (System Specification, System Implementation, System Validation)Doctrines of an Ad Hoc SystemExample of Ad Hoc System ConstructionComputing SystemsSoftware SystemsOverview"Hardware System: "Major Behavior of the Hardware SystemHardware System Components (Memory, Processor, Input-Output, Control)Performing Program Execution in ParallelData Type View of I/O ComponentsEfficiency of a Hardware SystemConvenience of a Hardware SystemGeneral View of the Hardware System"Process and Resource Representation: "Process Data RepresentationContext of a ProcessorMemory Data RepresentationThe I/O Device Data RepresentationService Tools Provided by Software"Interrupt System: "Interrupt SystemActual ImplementationsExamples of Interrupt Systems"Operating System An Overview: "The First Operating SystemDesign of a Control Program, Job Data StructureBatch Operating SystemReliability (Problem of Protection, Timing Program Execution)Efficiency) Performance Measurements, Parallel Actions Performed by Hardware, Overlapping Program Execution with its I/O Operations, Interleaving Program Execution)Off-Line OperationSpooling OperationMultiprogrammingA Model of Multiprogramming SystemMultiprocessor Systems
Readership: Professionals in computer science.
"