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 条
  • [31] A hybrid grammar-based approach to multimodal languages specification
    D'Ulizia, Arianna
    Ferri, Fernando
    Grifoni, Patrizia
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 1, PROCEEDINGS, 2007, 4805 : 367 - +
  • [32] A specification language and system for the three-dimensional visualisation of knowledge bases
    El Atifi, El Mustapha
    Falquet, Gilles
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2006, 3941 : 126 - 136
  • [33] From Specification Languages to Wide-Spectrum Logics
    Henson, Martin
    2014 SEVENTH INTERNATIONAL CONFERENCE ON CONTEMPORARY COMPUTING (IC3), 2014, : XII - XII
  • [34] From Specification Languages to Wide-Spectrum Logics
    Henson, Martin
    2014 SEVENTH INTERNATIONAL CONFERENCE ON CONTEMPORARY COMPUTING (IC3), 2014, : 13 - 18
  • [35] On the specification and knowledge of sets
    Cmorej, P
    FILOZOFIA, 1999, 54 (10): : 701 - 716
  • [36] A PLURALISTIC KNOWLEDGE-BASED APPROACH TO SOFTWARE SPECIFICATION
    NISKIER, C
    MAIBAUM, T
    SCHWABE, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 387 : 411 - 423
  • [37] SPECIFICATION LANGUAGES FOR MECHANICAL LANGUAGES AND THEIR PROCESSORS - A BAKERS DOZEN
    GORN, S
    COMMUNICATIONS OF THE ACM, 1961, 4 (12) : 532 - 542
  • [38] PARAMETER PASSING IN ALGEBRAIC SPECIFICATION LANGUAGES
    EHRIG, H
    KREOWSKI, HJ
    THATCHER, J
    WAGNER, E
    WRIGHT, J
    THEORETICAL COMPUTER SCIENCE, 1984, 28 (1-2) : 45 - 81
  • [39] Dynamic slicing of concurrent specification languages
    Llorens, M.
    Oliver, J.
    Silva, J.
    Tamarit, S.
    PARALLEL COMPUTING, 2016, 53 : 1 - 22
  • [40] Principled and Pragmatic Specification of Programming Languages
    Johnstone, Adrian
    Scott, Elizabeth
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 165 - 180
12345