Journal article
Design and Specification of the Minimal Subset of an Operating System Family
Abstract
The authors are engaged in a project to produce a precise description of a design for a family of operating systems. The design decisions ue being expressed by means of formal module specifications. In an attempt to write a concise specification of one of the most critical modules, a "virtual memory mechanism," some previously discussed specification techniques proved to be inadequate. The specification was much too large. Through a series of …
Authors
Parnas DL; Handzel G; Wurges H
Journal
IEEE Transactions on Software Engineering, Vol. SE-2, No. 4, pp. 301–307
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
December 1976
DOI
10.1109/tse.1976.233836
ISSN
0098-5589