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 条
  • [21] TOWARDS BETTER SYSTEM SPECIFICATIONS.
    Norris, M.T.
    Odam, K.D.
    Freestone, D.
    British Telecom technology journal, 1986, 4 (03): : 102 - 109
  • [22] GUIDELINES FOR WRITING COATING SPECIFICATIONS.
    Baldino, Louis R.
    1600, (37):
  • [23] COMPARISON OF CONCRETE COMPLIANCE SPECIFICATIONS.
    Uko, C.E.A.
    Anekwe, C.M.
    Indian Concrete Journal, 1988, 62 (01): : 30 - 33
  • [24] SYSTEMS ENGINEERING AND SYSTEM SPECIFICATIONS.
    Aslaksen, E.W.
    Journal of Electrical and Electronics Engineering, Australia, 1987, 7 (03): : 159 - 165
  • [25] Device features and specifications. Response
    Quist, Raymond W.
    Blischak, Doreen M.
    AAC: Augmentative and Alternative Communication, 1993, 9 (04):
  • [26] ON TEMPORAL ASPECT OF DATABASE SPECIFICATIONS.
    Gong, Zhenhe
    Chen-Ho, Kung
    1600, (30):
  • [27] GETTING A GRIP ON LUBRICANT SPECIFICATIONS.
    Nagler, Ben
    Power transmission design, 1981, 23 (04): : 44 - 47
  • [28] THEORY AND PRACTICE OF CANONICAL TERM FUNCTORS IN ABSTRACT DATA TYPE SPECIFICATIONS
    BEIERLE, C
    VOSS, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 320 - 334
  • [29] On algebraic specifications of abstract data types
    Khoussainov, B
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 299 - 313
  • [30] CRYPT-EQUIVALENT ALGEBRAIC SPECIFICATIONS.
    Bauer, F.L.
    Wirsing, M.
    Acta Informatica, 1988, 25 (02): : 111 - 153
12345