"System Software: Concepts and Methodology" is intended to offer a systematic treatment of the theory and practice of designing and implementing system software. The three volumes systematically develop and apply the systems methodology for software development. For that, the concept of a system is analyzed 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,...