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 条

[31] Executable specifications of P systems
Andrei, O
Ciobanu, G
Lucanu, D
[J]. MEMBRANE COMPUTING, 2004, 3365 : 126 - 145
[32] Falling Back on Executable Specifications
Samimi, Hesam
Aung, Ei Darli
Millstein, Todd
[J]. ECOOP 2010: OBJECT-ORIENTED PROGRAMMING, 2010, 6183 : 552 - 576
[33] SYNTHESIS OF ERROR-RECOVERABLE PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS
SALEH, K
PROBERT, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 468 : 415 - 424
[34] Comments on deriving protocol specifications from service specifications written in LOTOS
Monika Kapus-Kolar
[J]. Distributed Computing, 1999, 12 : 175 - 177
[35] Comments on deriving protocol specifications from service specifications written in LOTOS
Kapus-Kolar, M
[J]. DISTRIBUTED COMPUTING, 1999, 12 (04) : 175 - 177
[36] FUNDAMENTALS OF THE LAYER SERVICE DEFINITIONS AND PROTOCOL SPECIFICATIONS
LININGTON, PF
[J]. PROCEEDINGS OF THE IEEE, 1983, 71 (12) : 1341 - 1345
[37] Defect detection for executable specifications - An experiment
Houdek, F
Schwinn, T
Ernst, D
[J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (06) : 637 - 655
[38] INTEGRATING BEHAVIOR AND TIMING IN EXECUTABLE SPECIFICATIONS
KHORDOC, K
DUFRESNE, M
CERNY, E
BABKINE, PA
SILBURT, A
[J]. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 399 - 416
[39] RSF - A FORMALISM FOR EXECUTABLE REQUIREMENT SPECIFICATIONS
DEGL'INNOCENTI, M
FERRARI, GL
PACINI, G
TURINI, F
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (11) : 1235 - 1246
[40] EXECUTABLE SPECIFICATIONS BASED ON DYNAMIC ALGEBRAS
KAPPEL, AM
[J]. LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 229 - 240

← 1 2 3 4 5 →