A Case Study of Intermodule Dependencies in a Virtual Memory Subsystem

Abstract

A problem currently confronting computer scientists is to develop a method for the production of large software systems that are easy to understand and certify. The most promising methods involve decomposing a system into small modules in such a way that there are few intermodule dependencies.