THE RIGOROUS DEVELOPMENT OF A SYSTEM VERSION CONTROL PROGRAM

被引：11

作者：

COTTAM, ID

机构：

来源：

关键词：

D O I：

10.1109/TSE.1984.5010216

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：143 / 154

页数：12

共 14 条

[1]

Bjorner D., 1982, FORMAL SPECIFICATION

[2]

COOPRIDER L, 1979, THESIS CARNEGIE MELL

[3]

CRISTIAN F, 1982, ACTA INFORM, V17, P365, DOI 10.1007/BF00264158

[4]

HABERMANN AN, 1982, 2ND COMPENDIUM GANDA

[5]

HABERMANN AN, 1981, SOFTWARE ENG ENV

[6]

HABERMANN AN, 1980, CMUCS80117 CARN MELL

[7]

JONES CB, 1981, PRG25 OXF U COMP LAB

[8]

JONES CB, 1980, SOFTWARE DEV REGOROU

[9]

KAISER GE, ENV SYSTEM VERSION C

[10] UNIX TIME-SHARING SYSTEM [J].

RITCHIE, DM ;

THOMPSON, K .

BELL SYSTEM TECHNICAL JOURNAL, 1978, 57 (06) :1905-1929