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 条
  • [1] The specification logic νZ
    Henson, Martin C.
    Deutsch, Moshe
    Kajtazi, Besnik
    FORMAL ASPECTS OF COMPUTING, 2006, 18 (03) : 364 - 395
  • [2] Object specification logic
    Sernadas, A
    Sernadas, C
    Costa, JF
    JOURNAL OF LOGIC AND COMPUTATION, 1995, 5 (05) : 603 - 630
  • [3] THE RELATION BETWEEN LOGIC PROGRAMMING AND LOGIC SPECIFICATION
    KOWALSKI, R
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1984, 312 (1522): : 345 - 361
  • [4] SEMANTICAL ANALYSIS OF SPECIFICATION LOGIC
    TENNENT, RD
    INFORMATION AND COMPUTATION, 1990, 85 (02) : 135 - 162
  • [5] The logic of the RAISE specification language
    George, C
    Haxthausen, AE
    COMPUTING AND INFORMATICS, 2003, 22 (3-4) : 323 - 350
  • [6] The Specification Logic nu Z
    Henson, Martin C.
    Kajtazi, Besnik
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 137 (02) : 111 - 129
  • [7] A Specification Logic for Exceptions and Beyond
    Gherghina, Cristian
    David, Cristina
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 173 - 187
  • [8] A logic for the specification of continuous systems
    Friesen, V
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 143 - 158
  • [9] A specification logic for reconfigurable computing
    Tyugu, E
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 197 - 202
  • [10] Security policy specification in logic
    Barker, S
    IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 1299 - 1304
12345