Systems Methodology for Software

Abstract

Part 1 System methodology for software development: systems methodology algebraic methodology informal systems formal systems formal system construction algebraic systems ad hoc systems ad hoc system formalization (transition systems, action language) ad hoc system construction (system specification, system implementation, system validation) doctrines of an ad hoc system example of ad hoc system construction computing systems software systems overview. Part 2 Hardware system: major behaviour of the hardware system hardware system components (memory, procesor, input-output, control) actions performed by hardware system components efficiency of a hardware system convenience of a hardware system general view of the hardware system. Part 3 System software: problem solving with a hardware system process and process management system software application software hardware data representation (memory data representation, I/O device data representation, processor data prepresentation) process data representation service tools provided by software the hierarchy of system software tools. Part 4 Operating system - an overview: the first operating system design of a control program, job data structure batch operating system reliability (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 operation spooling operations multiprogramming a model of multiprogramming system multiprocessor systems.