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 条
  • [41] On Absoluteness of Categoricity in Abstract Elementary Classes
    Friedman, Sy-David
    Koerwien, Martin
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2011, 52 (04) : 395 - 402
  • [42] Geometrical product specifications. Datums and coordinate systems
    Glukhov, V. I.
    Ivleva, I. A.
    Zlatkina, O. Y.
    MECHANICAL SCIENCE AND TECHNOLOGY UPDATE, 2017, 2017, 858
  • [43] THE ABC'S OF A/D AND D/A CONVERTER SPECIFICATIONS.
    Gordon, Bernard M.
    1600, (17):
  • [44] EXCEPTION HANDLING METHOD FOR CONSTRUCTIVE ALGEBRAIC SPECIFICATIONS.
    van Horebeek, Ivo
    Lewi, Johan
    Bevers, Eddy
    Duponcheel, Luc
    van Puymbroeck, Willy
    Software - Practice and Experience, 1988, 18 (05) : 443 - 458
  • [45] INFORMATION-THEORETIC COMPLEXITY OF PROGRAM SPECIFICATIONS.
    Coulter, N.S.
    Copper, R.B.
    Solomon, M.K.
    1600, (30):
  • [46] DETERMINISTIC SYSTEMS DESIGN FROM FUNCTIONAL SPECIFICATIONS.
    Wojtkowiak, Hans
    Proceedings - Design Automation Conference, 1981, : 98 - 104
  • [47] USING MICRO-COMPUTERS TO ORGANIZE SPECIFICATIONS.
    Weatherby, Richard T.
    Construction Specifier, 1988, 41 (06): : 106 - 109
  • [48] QUALITY ASSURANCE AND QUALITY CONTROL - 1. SPECIFICATIONS.
    Bader, Morton E.
    Chemical Engineering (New York), 1980, 87 (03): : 87 - 92
  • [49] PROBLEMS WITH RESIDUAL AND ADDITIVE ELEMENTS AND THEIR CONTROL THROUGH SPECIFICATIONS.
    Westbrook, J.H.
    Metallurgist and materials technologist, 1980, 12 (04): : 184 - 192
  • [50] An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications
    del Vado Virseda, Rafael
    Perez Morente, Fernando
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2012, 2012, 9 : 1743 - 1752
12345