@inproceedings{3179fb9ec8684550b52c30fc4d497048,
title = "Choices, frameworks and refinement",
abstract = "In this paper, we present a method for designing operating systems using object-oriented frameworks. A framework can be refined into subframeworks. Constraints specify the interactions between the subframeworks. We describe how we used object-oriented frameworks to design Choices, an object-oriented operating system.",
author = "Campbell, {R H} and Nayeem Islam and Ralph Johnson and Panos Kougiouris and Peter Madany",
year = "1991",
language = "English (US)",
isbn = "0818622652",
series = "Proc Int Workhop Object Orientat Oper Syst",
publisher = "Publ by IEEE",
pages = "9--15",
booktitle = "Proc Int Workhop Object Orientat Oper Syst",
note = "Proceedings of the International Workshop on Object Orientation in Operating Systems ; Conference date: 17-10-1991 Through 18-10-1991",
}