Choices, frameworks and refinement

R H Campbell, Nayeem Islam, Ralph Johnson, Panos Kougiouris, Peter Madany

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProc Int Workhop Object Orientat Oper Syst
PublisherPubl by IEEE
Pages9-15
Number of pages7
ISBN (Print)0818622652
StatePublished - Dec 1 1991
EventProceedings of the International Workshop on Object Orientation in Operating Systems - Palo Alto, CA, USA
Duration: Oct 17 1991Oct 18 1991

Publication series

NameProc Int Workhop Object Orientat Oper Syst

Other

OtherProceedings of the International Workshop on Object Orientation in Operating Systems
CityPalo Alto, CA, USA
Period10/17/9110/18/91

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Campbell, R. H., Islam, N., Johnson, R., Kougiouris, P., & Madany, P. (1991). Choices, frameworks and refinement. In Proc Int Workhop Object Orientat Oper Syst (pp. 9-15). (Proc Int Workhop Object Orientat Oper Syst). Publ by IEEE.

Choices, frameworks and refinement. / Campbell, R H; Islam, Nayeem; Johnson, Ralph; Kougiouris, Panos; Madany, Peter.

Proc Int Workhop Object Orientat Oper Syst. Publ by IEEE, 1991. p. 9-15 (Proc Int Workhop Object Orientat Oper Syst).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Campbell, RH, Islam, N, Johnson, R, Kougiouris, P & Madany, P 1991, Choices, frameworks and refinement. in Proc Int Workhop Object Orientat Oper Syst. Proc Int Workhop Object Orientat Oper Syst, Publ by IEEE, pp. 9-15, Proceedings of the International Workshop on Object Orientation in Operating Systems, Palo Alto, CA, USA, 10/17/91.
Campbell RH, Islam N, Johnson R, Kougiouris P, Madany P. Choices, frameworks and refinement. In Proc Int Workhop Object Orientat Oper Syst. Publ by IEEE. 1991. p. 9-15. (Proc Int Workhop Object Orientat Oper Syst).
Campbell, R H ; Islam, Nayeem ; Johnson, Ralph ; Kougiouris, Panos ; Madany, Peter. / Choices, frameworks and refinement. Proc Int Workhop Object Orientat Oper Syst. Publ by IEEE, 1991. pp. 9-15 (Proc Int Workhop Object Orientat Oper Syst).
@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",
month = "12",
day = "1",
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",

}

TY - GEN

T1 - Choices, frameworks and refinement

AU - Campbell, R H

AU - Islam, Nayeem

AU - Johnson, Ralph

AU - Kougiouris, Panos

AU - Madany, Peter

PY - 1991/12/1

Y1 - 1991/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0026275411&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0026275411&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0026275411

SN - 0818622652

T3 - Proc Int Workhop Object Orientat Oper Syst

SP - 9

EP - 15

BT - Proc Int Workhop Object Orientat Oper Syst

PB - Publ by IEEE

ER -