Skip to main content
SpringerLink
Log in

Specification of the Unix file system: A comparative case study

  • Refereed Contributions
  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 936))

Abstract

The starting point of this investigation are two different formal specifications of the user's view of the Unix file system, one algebraic and one model-based. The different features exhibited by the specifications give rise to a discussion of desirable and undesirable properties of formal specifications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Bidoit, M.-C. Gaudel, and A. Mauboussin. How to make algebraic specifications more understandable? In M. Wirsing and J.A. Bergstra, editors, Algebraic Methods: Theory, Tools and Applications, number 394 in LNCS, pages 31–67. Springer-Verlag, 1989.

    Google Scholar 

  2. Frederick P. Brooks. No silver bullet — essence and accidents of software engineering. Computer, pages 10–19, April 1987.

    Google Scholar 

  3. O. Declerfayt, B. Demeuse, F. Wautier, P. Y. Schobbens, and E. Milgrom. Precise standards through formal specifications: A case study: the unix file system. In Proceedings EUUG Autumn Conference, Cascais, Portugal, 1988.

    Google Scholar 

  4. Kevin Lano and Howard Haughton. Specifying a concept-recognition system in Z++. In Kevin Lano and Howard Haughton, editors, Object-Oriented Specification Case Studies, chapter 7, pages 137–157. Prentice Hall, 1988.

    Google Scholar 

  5. Carroll Morgan and Bernard Sufrin. Specification of the UNIX Filing System. In Ian Hayes, editor, Specification Case Studies. Prentic-Hall, 1987.

    Google Scholar 

  6. Gordon Rose and Roger Duke. An object-Z specification of a mobile phone system. In Kevin Lano and Howard Haughton, editors, Object-Oriented Specification Case Studies, chapter 5, pages 110–129. Prentice Hall, 1993.

    Google Scholar 

  7. Jeanine Souquières and Maritta Heisel. How to manage formal specifications? Submitted for publication, 1994.

    Google Scholar 

  8. J. M. Spivey. The Z Notation — A Reference Manual. Prentice Hall, 2nd edition, 1992.

    Google Scholar 

  9. Phil Wadler. Monads for functional programming. In M. Broy, editor, Program Design Calculi, volume 118 of Computer and Systems Sciences, pages 233–264. Springer-Verlag, 1993.

    Google Scholar 

  10. J. B. Wordsworth. Software Development with Z. Addison-Wesley, Wokingham, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FB Informatik - FG Softwaretechnik, Technische Universität Berlin, Franklinstr. 28-29, Sekr. FR 5-6, D-10587, Berlin, Germany

    Maritta Heisel

Authors
  1. Maritta Heisel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

V. S. Alagar Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Heisel, M. (1995). Specification of the Unix file system: A comparative case study. In: Alagar, V.S., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1995. Lecture Notes in Computer Science, vol 936. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60043-4_72

Download citation

  • DOI: https://doi.org/10.1007/3-540-60043-4_72

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60043-5

  • Online ISBN: 978-3-540-49410-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation