Design and Specification of the Minimal Subset of an Operating System Family.

David Lorge Parnas Georg Handzel Harald Würges

Published in: IEEE Trans. Software Eng. (1976)

Keyphrases

operating system
computer systems
memory management
operating environment
case study
virtual machine
command line
high assurance
databases
design process
address space
multi tasking