Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
27.12 Bibliographical Notes
J. Abrial: (1) The Specification Language Z: Basic Library, 30 pgs.; (2) The Specification Language Z: Syntax and “Semantics”, 29 pp; (3) An Attempt to Use Z for Defining the Semantics of an Elementary Programming Language, 3 pp; (4) A Low Level File Handler Design, 18 pp; (5) Specification of Some Aspects of a Simple Batch Operating System, 37 pp Internal Reports. Programming Research Group, Oxford Univ., UK (1980)
J.-R. Abrial: The. B Book: Assigning Programs to Meanings (Cambridge University Press, UK 1996)
J. Stoy, C. Strachey: OS6 — An Experimental Operating System for a Small Computer, Part 1: General Principles and Structure, and Part 2: Input-Output and Filing System. Computer Journal 15,2–3 (1972) pp 117–124, 194–203
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). A Case Study in Component Design. In: Software Engineering 3. Texts in Theoretical Computer Science An EATC Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-33653-2_27
Download citation
DOI: https://doi.org/10.1007/3-540-33653-2_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21151-8
Online ISBN: 978-3-540-33653-2
eBook Packages: Computer ScienceComputer Science (R0)