AN INTRODUCTION TO SPECIFICATION LOGIC

被引：0
|
作者：
REYNOLDS, JC
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 164卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：442 / 442
页数：1
相关论文
共 50 条
  • [41] Introduction to Logic
    不详
    LIBRARY JOURNAL, 1936, 61 (14) : 596 - 596
  • [42] Introduction to Logic
    Bonilla Suarez, Uriel
    EIKASIA-REVISTA DE FILOSOFIA, 2021, (97): : 337 - 339
  • [43] An Introduction to Test Specification in FQL
    Holzer, Andreas
    Tautschnig, Michael
    Schallhart, Christian
    Veith, Helmut
    HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 2011, 6504 : 9 - +
  • [44] AN INTRODUCTION TO THE SPECIFICATION LANGUAGE SPEC
    BERZINS, V
    LUQI
    IEEE SOFTWARE, 1990, 7 (02) : 74 - 84
  • [45] Logic of involved variables - System specification with Temporal Logic of Distributed Actions
    Alexander, A
    Reisig, W
    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 167 - 176
  • [46] Towards a specification theory for fuzzy modal logic
    Jain, Manisha
    Gomes, Leandro
    Madeira, Alexandre
    Barbosa, Luis S.
    2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021), 2021, : 175 - 182
  • [47] LOGIC-BASED SPECIFICATION OF VISIBILITY RULES
    POETZSCHHEFFTER, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 63 - 74
  • [48] QMaude: Quantitative Specification and Verification in Rewriting Logic
    Rubio, Ruben
    Marti-Oliet, Narciso
    Pita, Isabel
    Verdejo, Alberto
    FORMAL METHODS, FM 2023, 2023, 14000 : 240 - 259
  • [49] Iterative Specification Refinement in Deriving Logic Controllers
    Lohmann, Sven
    Lan Anh Dinh Thi
    Thanh Ha Tran
    Stursberg, Olaf
    Engell, Sebastian
    17TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING, 2007, 24 : 919 - 924
  • [50] EQUATIONAL LOGIC OF CIRCULAR DATA TYPE SPECIFICATION
    BLOOM, SL
    ESIK, Z
    THEORETICAL COMPUTER SCIENCE, 1989, 63 (03) : 303 - 331
12345