ALGEBRAIC AND OPERATIONAL SEMANTICS OF POSITIVE NEGATIVE CONDITIONAL ALGEBRAIC SPECIFICATIONS

被引：0

|

作者：

KAPLAN, S

机构：

[1] UNIV SCI, LRI, F-91405 ORSAY, FRANCE

[2] BAR ILAN UNIV, DEPT COMP SCI, RAMAT GAN, ISRAEL

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 338卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

下载

收藏

页码：419 / 434

页数：16

相关论文

共 50 条

[1] ALGEBRAIC AND OPERATIONAL SEMANTICS OF SPECIFICATIONS ALLOWING EXCEPTIONS AND ERRORS
GOGOLLA, M
DROSTEN, K
LIPECK, U
EHRICH, HD
THEORETICAL COMPUTER SCIENCE, 1984, 34 (03) : 289 - 313
[2] ALGEBRAIC OPERATIONAL SEMANTICS
GUREVICH, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 1 - 2
[3] ALGEBRAIC OPERATIONAL SEMANTICS AND OCCAM
GUREVICH, Y
MOSS, LS
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 176 - 192
[4] INITIAL BEHAVIOR SEMANTICS FOR ALGEBRAIC SPECIFICATIONS
NIVELA, MP
OREJAS, F
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 184 - 207
[5] BEYOND CONDITIONAL EQUATIONS - QUASI-INITIAL SEMANTICS FOR PARAMETRIC ALGEBRAIC SPECIFICATIONS
WOLTER, U
LOWE, M
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 581 : 342 - 361
[6] A PROOF SYSTEM FOR CONDITIONAL ALGEBRAIC SPECIFICATIONS
KOUNALIS, E
RUSINOWITCH, M
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 51 - 63
[7] ALGEBRAIC AND OPERATIONAL SEMANTICS OF EXCEPTIONS AND ERRORS
GOGOLLA, M
DROSTEN, K
LIPECK, U
EHRICH, HD
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 141 - 151
[8] A note on test oracles and semantics of algebraic specifications
Hong, Z
THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2003, : 91 - 98
[9] Linking Operational Semantics and Algebraic Semantics for Wireless Networks
Wu, Xiaofeng
Zhu, Huibiao
FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 380 - 396
[10] Algebraic Semantics of OCL-Constrained Metamodel Specifications
Boronat, Artur
Meseguer, Jose
OBJECTS, COMPONENTS, MODELS AND PATTERNS, PROCEEDINGS, 2009, 33 : 96 - +

← 1 2 3 4 5 →