SPECIFICATION OF THE UNIX FILING SYSTEM

被引：51

作者：

MORGAN, C

SUFRIN, B

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1984年 / 10卷 / 02期

关键词：

D O I：

10.1109/TSE.1984.5010215

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：128 / 142

页数：15

相关论文

共 12 条

[1]

ABRIAL JR, 1982, UNPUB FORMAL PROGRAM

[2]

HOARE CAR, 1982, PRG29 OXF U TECH MON

[3]

Jones C. B, 1980, SOFTWARE DEV RIGOROU

[4]

MORGAN C, 1982, MAILBOX COMMUNICATIO

[5]

MORGAN C, 1982, SPECIFICATION DISTRI

[6]

MORGAN C, 1982, SPECIFICATION CAMBRI

[7]

RITCHIE DM, 1974, COMMUN ASS COMPUT MA, V17

[8]

SUFRIN B, 1982, TOOLS NOTATIONS PROG

[9]

SUFRIN B, 1983, ABSTRACT ALGORITHMS

[10]

SUFRIN B, 1983, INFORMAL INTRO SCHEM