ABSTRACT SPECIFICATION OF MATHEMATICAL STRUCTURES AND METHODS

被引：0

|

作者：

LIMONGELLI, C ^{[1
]}

MELE, MB ^{[1
]}

REGIO, M ^{[1
]}

TEMPERINI, M ^{[1
]}

机构：

[1] CNR, IST ANAL SIST & INFORMAT, I-00185 ROME, ITALY

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 429卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：61 / 70

页数：10

相关论文

共 50 条

[21] ECLiPSe: Declarative specification and scaleable implementation - Abstract
Wallace, M
Schimpf, J
[J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 1999, 1551 : 365 - 366
[22] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
BERZTISS, AT
THATTE, S
[J]. ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
[23] A CONSTRUCTIVE METHOD FOR ABSTRACT ALGEBRAIC SOFTWARE SPECIFICATION
KLAEREN, HA
[J]. THEORETICAL COMPUTER SCIENCE, 1984, 30 (02) : 139 - 204
[24] Abstract specification in object-Z and CSP
Smith, G
Derrick, J
[J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 108 - 119
[25] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES
林惠民
[J]. Science China Mathematics, 1988, (08) : 1002 - 1010
[26] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA TYPES
林惠民
[J]. ScienceinChina,Ser.A., 1988, Ser.A.1988 (08) - 1010
[27] ABSTRACT MATHEMATICAL MOLECULAR BIOLOGY
RASHEVSKY, N
[J]. BULLETIN OF MATHEMATICAL BIOPHYSICS, 1961, 23 (03): : 237 - +
[28] Editorial: Abstract Mathematical Cognition
Chassy, Philippe
Grodd, Wolfgang
[J]. FRONTIERS IN HUMAN NEUROSCIENCE, 2016, 9
[29] SPECIFICATION AND TESTING OF ABSTRACT-DATA-TYPES
JALOTE, P
[J]. COMPUTER LANGUAGES, 1992, 17 (01): : 75 - 82
[30] Specification before satisfaction: The case for research into obtaining the right specification - Extended abstract
Jones, CB
[J]. ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 1 - 5

← 1 2 3 4 5 →