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 条
  • [21] SPECIFICATION LANGUAGES FOR COMMUNICATION PROTOCOLS
    VONBOCHMANN, G
    COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 379 - 396
  • [22] AN EXAMINATION OF REQUIREMENTS SPECIFICATION LANGUAGES
    TSE, TH
    PONG, L
    COMPUTER JOURNAL, 1991, 34 (02): : 143 - 152
  • [23] Knowledge Identification from Requirements Specification
    Barra, Eduardo
    Morato, Jorge
    LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, 2015, 563 : 264 - 270
  • [24] A roadmap to ontology specification languages
    Corcho, O
    Gómez-Pérez, A
    KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, PROCEEDINGS: METHODS, MODELS, AND TOOLS, 2000, 1937 : 80 - 96
  • [25] THE LARCH FAMILY OF SPECIFICATION LANGUAGES
    GUTTAG, JV
    HORNING, JJ
    WING, JM
    IEEE SOFTWARE, 1985, 2 (05) : 24 - 36
  • [26] Compound Monads in Specification Languages
    Dawson, Jeremy E.
    PLPV'07: PROCEEDINGS OF THE 2007 WORKSHOP ON PROGRAMMING LANGUAGES MEETS PROGRAM VERIFICATION, 2007, : 3 - 10
  • [27] SPECIFICATION LANGUAGES FOR DISTRIBUTED SYSTEMS
    DEGANO, P
    MONTANARI, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 29 - 51
  • [28] EVALUATION AND INTEGRATION OF SPECIFICATION LANGUAGES
    BRUIJNING, J
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 13 (02): : 75 - 89
  • [29] Structure-preserving specification languages for knowledge-based systems
    vanHarmelen, F
    Aben, M
    INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1996, 44 (02) : 187 - 212
  • [30] An incremental approach to local equality predicates in OBJ specification languages
    Nakamura, Masaki
    Futatsugi, Kokichi
    2014 11TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2014, : 337 - 342
12345