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 条
  • [41] On Checking Controllability of Specification Languages for DES
    Davydov, Artem
    Larionov, Aleksandr
    Nagul, Nadezhda
    2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020), 2020, : 1151 - 1156
  • [42] Venn Requirement Language in Specification Languages
    Roslina, M. S.
    Noraziah, A.
    WCECS 2008: WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, 2008, : 548 - 554
  • [43] On equality predicates in algebraic specification languages
    Masaki, Nakamura
    Kokichi, Futatsugi
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2007, PROCEEDINGS, 2007, 4711 : 381 - +
  • [44] A behavioral specification of imperative programming languages
    Nakamura, Masaki
    Watanabe, Masahiro
    Futatsugi, Kokichi
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2006, E89A (06) : 1558 - 1565
  • [45] Usability of the Business Rules Specification Languages
    Hnatkowska, Bogumila
    Hnatkowska, Anna
    2020 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2020, : 905 - 911
  • [46] Assessing the expressivity of formal specification languages
    Lopez, Natalia
    Nunez, Manuel
    Rodriguez, Ismael
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2006, 4019 : 220 - 234
  • [47] COMMUNICATION PRIMITIVES IN PROGRAMMING AND SPECIFICATION LANGUAGES
    HENNESSY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 223 - 251
  • [48] Methodology to evaluate the functionality of specification languages
    Gasperovic, Jelena
    Caplinskas, Albertas
    INFORMATICA, 2006, 17 (03) : 325 - 346
  • [49] Integration of specification languages using viewpoints
    Bujorianu, MC
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 421 - 440
  • [50] A family of languages for architecture constraint specification
    Tibermacine, Chouki
    Fleurquin, Regis
    Sadou, Salah
    JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (05) : 815 - 831
12345