论文信息 - Specification of the Unix File System: A Comparative Case Study

Specification of the Unix File System: A Comparative Case Study

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.

Maritta Heisel

[1] Frederick P. Brooks,et al. No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[2] J. B. Wordsworth,et al. Software development with Z , 1992 .

[3] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[4] Carroll Morgan,et al. Specification of the UNIX Filing System , 1984, IEEE Transactions on Software Engineering.

[5] Wladyslaw M. Turski,et al. No Silver Bullet - Essence and Accidents of Software Engineering - Response , 1986, IFIP Congress.

[6] Pierre-Yves Schobbens,et al. Precise standards through formal specifications: a case study: the UNIX file system , 1988 .

[7] Philip Wadler,et al. Monads for functional programming , 1995, NATO ASI PDC.

[8] Roger Duke,et al. An object-Z specification of a mobile phone system , 1994 .

[9] K. Lano,et al. Specifying a concept-recognition system in Z ++ , 1994 .

[10] Michel Bidoit,et al. How to Make Algebraic Specifications More Understandable? , 1987, Algebraic Methods.