CASL - Reference Manual - Introduction

被引：0
|
作者：
不详
机构：
来源：
CASL REFERENCE MANUAL: THE COMPLETE DOCUMENTATION OF THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE | 2004年 / 2960卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：115 / +
页数：153
相关论文
共 50 条
  • [41] ELECTROSTATIC PRECIPITATOR REFERENCE MANUAL.
    Gallaer, C.A.
    Electric Power Research Institute, Coal Combustion Systems Division, (Report) EPRI CS, 1983,
  • [42] Approximation of Ontologies in CASL
    Luettich, Klaus
    FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2006, 150 : 335 - 346
  • [43] Amalgamation in the semantics of CASL
    Schröder, L
    Mossakowski, T
    Tarlecki, A
    Klin, B
    Hoffman, P
    THEORETICAL COMPUTER SCIENCE, 2005, 331 (01) : 215 - 247
  • [44] Geometric modelling with CASL
    Ledoux, F
    Arnould, A
    Le Gall, P
    Bertrand, Y
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2001, 2267 : 176 - 200
  • [45] DO-CASL: An observer-based CASL extension for dynamic specifications
    Dell'Amico, Matteo
    Cerioli, Maura
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, 4019 : 96 - 110
  • [46] Observational interpretation of CASL specifications
    Bidoit, Michel
    Sannella, Donald
    Tarlecki, Andrzej
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2008, 18 (02) : 325 - 371
  • [47] THE REFERENCE ASSESSMENT MANUAL - EVALUATION-REFERENCE-ADULT-SERVICES-COMM
    CHAD, B
    LIBRARY JOURNAL, 1995, 120 (19) : 105 - 105
  • [48] Introduction to Reference Books
    Melinat, Carl H.
    LIBRARY QUARTERLY, 1953, 23 (01): : 65 - 65
  • [49] Introduction to Reference Books
    Shores, Louis
    LIBRARY QUARTERLY, 1950, 20 (01): : 69 - 70
  • [50] Introduction to Reference Work
    Halvorson, Homer
    LIBRARY QUARTERLY, 1944, 14 (04): : 357 - 358
12345