Specification of the Unix file system: A comparative case study-Reference-Cited by-同舟云学术

Specification of the Unix file system: A comparative case study

Published:1995 Issue: Volume: Page:475-488
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Heisel Maritta

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60043-4_72.pdf

Reference10 articles.

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.

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

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.

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.

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

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Program Verification in the Presence of I/O;Lecture Notes in Computer Science;2018

2. Formalization of computer input and output: the Hadley model;Digital Investigation;2004-09

3. A declarative coordination language;Computer Languages;2000-07

4. A multi-layer architecture for knowledge-based system synthesis;Lecture Notes in Computer Science;1996

5. A Pragmatic Approach to Formal Specification;The Springer International Series in Engineering and Computer Science