BEHAVIOURAL CATEGORICITY OF ABSTRACT DATA TYPE SPECIFICATIONS.

被引：0

作者：

Lescanne, Pierre ^{[1
]}

机构：

[1] Centre de Recherche en Informatique de Nancy, BP 239, F54 506 Vandoeuvre-les-Nancy Cedex, France

来源：

| 1600年 / 26期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[11] OPTICAL TOLERANCES AND SPECIFICATIONS.
Miles, Grant M.
1974, 6 (03): : 34 - 35
[12] MORTAR: METHODS AND SPECIFICATIONS.
Borchelt, J.Gregg
Construction Specifier, 1988, 41 (06): : 50 - 57
[13] ON IMPLEMENTATIONS OF LOOSE ABSTRACT DATA TYPE SPECIFICATIONS AND THEIR VERTICAL COMPOSITION
BEIERLE, C
VOSS, A
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 245 - 259
[14] Behavioural specifications in type theory
Lect Notes Comput Sci, (394):
[15] Behavioural specifications in type theory
Mylonakis, N
RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 394 - 408
[16] ERS wind product specifications.
Lecomte, P
WORKSHOP ON EMERGING SCATTEROMETER APPLICATIONS - FROM RESEARCH TO OPERATIONS, 1998, 424 : 271 - 284
[17] PROBABILISTIC MODEL FOR SERVICEABILITY SPECIFICATIONS.
Leicester, R.H.
Beresford, F.D.
1977, : 407 - 413
[18] KEY ELEMENTS OF CONSTRUCTION SPECIFICATIONS.
Ibbs Jr., C.William
1984, (76):
[19] GUIDELINES FOR PRODUCING BETTER SPECIFICATIONS.
Abdallah, Eli T.
Journal of the Construction Division, 1982, 108 (CO3): : 438 - 444
[20] NOSS ALTIMETER ALGORITHM SPECIFICATIONS.
Hancock, D.W.
Forsythe, R.G.
McMillian, J.D.
NASA Reference Publication, 1982,