A Programming Methodology for Operating System Design.

Per Brinch Hansen

Published in: IFIP Congress (1974)

Keyphrases

operating system
microsoft windows
memory management
computer systems
virtual machine
windows xp
case study
multicore processors
address space
operating environment
design process
high assurance
design methodology
programming language
databases
maintaining consistency
interprocess communication