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 条

[31] A formal abstract semantics for data specifications
Piessens, F
Steegmans, E
15TH INTERNATIONAL CONGRESS ON CYBERNETICS, PROCEEDINGS, 1999, : 983 - 988
[32] Categoricity for abstract classes with amalgamation
Shelah, S
ANNALS OF PURE AND APPLIED LOGIC, 1999, 98 (1-3) : 261 - 294
[33] Microsoft C# language specifications.
Ziener, C
LIBRARY JOURNAL, 2001, 126 (12) : 118 - 118
[34] WRITING LARCH INTERFACE LANGUAGE SPECIFICATIONS.
Wing, Jeannette M.
1600, (09):
[35] GENERATION OF ADA AND PL/1 PROTOTYPES FROM ABSTRACT DATA TYPE SPECIFICATIONS
BELKHOUCHE, B
JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 16 (03) : 255 - 264
[36] INFORMAL APPROACH TO FORMAL (ALGEBRAIC) SPECIFICATIONS.
Furtado, A.L.
Maibaum, T.S.E.
1600, (28):
[37] Transition Specifications for Dynamic Abstract Data Types
Martin Große-Rhode
Applied Categorical Structures, 1997, 5 : 265 - 308
[38] Transition specifications for dynamic abstract data types
Grosse-Rhode, Martin
1997, Kluwer Academic Publishers, Dordrecht, Netherlands (05)
[39] Transition specifications for dynamic abstract data types
GrosseRhode, M
APPLIED CATEGORICAL STRUCTURES, 1997, 5 (03) : 265 - 308
[40] DIRECT IMPLEMENTATION OF ABSTRACT-DATA-TYPES FROM ABSTRACT SPECIFICATIONS
BELKHOUCHE, B
URBAN, JE
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (05) : 649 - 661

← 1 2 3 4 5 →