AXIOMATIC SPECIFICATIONS IN FIRMWARE DEVELOPMENT SYSTEMS

被引：7

作者：

DASGUPTA, S ^{[1
]}

WILSEY, PA ^{[1
]}

HEINANEN, J ^{[1
]}

机构：

[1] TAMPERE UNIV TECHNOL,COMP SCI,SF-33101 TAMPERE 10,FINLAND

来源：

关键词：

D O I：

10.1109/MS.1986.234068

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：49 / 58

页数：10

相关论文

共 12 条

[1]

DAMM W, 1985, 18TH P ANN MICR WORK

[2]

DASGUPTA S, 1985, COMPUTER, V18, P67, DOI 10.1109/MC.1985.1662800

[3]

DASGUPTA S, 1984, DESIGN DESCRIPTION C

[4]

DASGUPTA S, 1985, ADV COMPUTERS, V24, P102

[5]

DEBAKKER JW, 1980, MATH THEORY PROGRAM

[6]

FLYNN MJ, 1984, HDB SOFTWARE ENG, P134

[7]

Husson S., 1970, MICROPROGRAMMING PRI

[8]

LISKOV B, 1980, ABSTRACT SOFTWARE SP

[9]

MELLIARSMITH M, 1979, COMPUTING SYSTEMS RE

[10]

Parnas D., 1972, COMM ACM, V15