EXECUTABLE LOGIC SPECIFICATIONS FOR PROTOCOL SERVICE INTERFACES

被引：7
|
作者：
SIDHU, DP
CRALL, CS
机构：
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1988年 / 14卷 / 01期
关键词：
D O I：
10.1109/32.4626
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：98 / 121
页数：24
相关论文
共 50 条
  • [1] AUTOMATED SYNTHESIS OF PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS WITH PARALLELLY EXECUTABLE MULTIPLE PRIMITIVES
    KAKUDA, Y
    NAKAMURA, M
    KIKUNO, T
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1994, E77A (10) : 1634 - 1645
  • [2] HOARE LOGIC, EXECUTABLE SPECIFICATIONS, AND LOGIC PROGRAMS
    FUCHS, NE
    [J]. STRUCTURED PROGRAMMING, 1992, 13 (03): : 129 - 135
  • [3] Reversibility of Executable Interval Temporal Logic Specifications
    Cau, Antonio
    Kuhn, Stefan
    Hoey, James
    [J]. REVERSIBLE COMPUTATION (RC 2021), 2021, 12805 : 214 - 223
  • [4] Techniques for embedding executable specifications in software component interfaces
    McKegney, R
    Shepard, T
    [J]. COTS-BASED SOFTWARE SYSTEMS, PROCEEDINGS, 2003, 2580 : 143 - 156
  • [5] Verifiable and executable logic specifications of concurrent objects in Lπ
    Caires, L
    Monteiro, L
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 1381 : 42 - 56
  • [6] Verifying Executable Object-Oriented Specifications with Separation Logic
    van Staden, Stephan
    Calcagno, Cristiano
    Meyer, Bertrand
    [J]. ECOOP 2010: OBJECT-ORIENTED PROGRAMMING, 2010, 6183 : 151 - +
  • [7] TRIO - A LOGIC LANGUAGE FOR EXECUTABLE SPECIFICATIONS OF REAL-TIME SYSTEMS
    GHEZZI, C
    MANDRIOLI, D
    MORZENTI, A
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1990, 12 (02) : 107 - 123
  • [8] Composition of service and protocol specifications
    Bista, BB
    Takahashi, K
    Shiratori, N
    [J]. 15TH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, PROCEEDINGS, 2001, : 171 - 178
  • [9] Verification of protocol specifications with separation logic
    Kiss, Tibor
    Craciun, Florin
    Pary, Bazil
    [J]. 2015 IEEE 11TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING (ICCP), 2015, : 109 - 116
  • [10] Executable requirements and specifications
    Anderson, AH
    Shaw, GA
    [J]. JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1997, 15 (1-2): : 49 - 61
12345