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 条

[1] BEHAVIORAL CATEGORICITY OF ABSTRACT DATA TYPE SPECIFICATIONS
LESCANNE, P
COMPUTER JOURNAL, 1983, 26 (04): : 289 - 292
[2] DIRECT IMPLEMENTATION OF ABSTRACT DATA TYPES FROM ABSTRACT SPECIFICATIONS.
Belkhouche, Boumediene
Urban, Joseph E.
IEEE Transactions on Software Engineering, 1986, SE-12 (05) : 649 - 661
[3] SYNTHESIZING IMPLEMENTATIONS OF ABSTRACT DATA TYPES FROM AXIOMATIC SPECIFICATIONS.
Jalote, Pankaj
Software - Practice and Experience, 1987, 17 (11) : 847 - 858
[4] LANGUAGE OF SPECIFICATIONS.
Henderson, Donald R.
Textile Industries, 1976, 140 (05):
[5] Job specifications.
不详
ANNEE PSYCHOLOGIQUE, 1926, 27 : 769 - 769
[6] ON FORMALISM IN SPECIFICATIONS.
Meyer, Bertrand
1600, (02):
[7] Data refinement of mixed specifications. A generalization of UNITY
Sanders, B. A.
Acta Informatica, 35 (02):
[8] Developing meaningful specifications.
Hempel, LM
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2004, 228 : U371 - U371
[9] COMPOUNDING NBR TO SPECIFICATIONS.
Ridland, J.J.
Pfisterer, H.A.
Rubber World, 1983, 187 (06): : 20 - 24
[10] TOWARDS BETTER SPECIFICATIONS.
Turner, K.J.
ICL technical journal, 1984, 4 (01): : 33 - 49