FROM SPECIFICATION LANGUAGES TO SPECIFICATION KNOWLEDGE BASES - THE PTO APPROACH

被引：0
|
作者：
AGAFONOV, VN
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 379卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 17
页数：17
相关论文
共 50 条
  • [1] A COMPREHENSIVE APPROACH TO SPECIFICATION LANGUAGES
    STOEGERER, JK
    AUSTRALIAN COMPUTER JOURNAL, 1984, 16 (01): : 1 - 13
  • [2] AN AXIOMATIC APPROACH TO SEMANTICS OF SPECIFICATION LANGUAGES
    MAHR, B
    MAKOWSKY, JA
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 211 - 219
  • [3] Formal specification languages in knowledge and software engineering
    Fensel, D
    KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 361 - 404
  • [4] SPECIFICATION LANGUAGES
    SCHNUPP, P
    COMPUTER PHYSICS COMMUNICATIONS, 1985, 38 (02) : 173 - 179
  • [5] SPECIFICATION LANGUAGES
    BLACKLEDGE, P
    IEE PROCEEDINGS-A-SCIENCE MEASUREMENT AND TECHNOLOGY, 1983, 130 (04): : 185 - 189
  • [6] SPECIFICATION LANGUAGES
    不详
    KYBERNETES, 1983, 12 (04) : 227 - 227
  • [7] Languages for the specification of software
    Cooke, D
    Gates, A
    Demirors, E
    Demirors, O
    Tanik, MM
    Kramer, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (03) : 269 - 308
  • [8] FORMAL SPECIFICATION LANGUAGES
    PARKER, J
    TITTERINGTON, G
    ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
  • [9] DUALITY IN SPECIFICATION LANGUAGES - A LATTICE-THEORETICAL APPROACH
    BACK, RJR
    VONWRIGHT, J
    ACTA INFORMATICA, 1990, 27 (07) : 583 - 625
  • [10] Temporal authorization bases: from specification to integration
    Bertino, Elisa
    Bonatti, Piero Andrea
    Ferrari, Elena
    Sapino, Maria Luisa
    2000, IOS Press, Amsterdam, Netherlands (08)
12345