DEVELOPMENT OF ALGEBRAIC SPECIFICATIONS WITH CONSTRAINTS

被引：0

|

作者：

OREJAS, F

SACRISTAN, V

CLERICI, S

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 393卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：102 / 123

页数：22

相关论文

共 50 条

[21] OBSERVATIONAL IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS
HENNICKER, R
ACTA INFORMATICA, 1991, 28 (03) : 187 - 230
[22] PROPAGATING CHANGES IN ALGEBRAIC SPECIFICATIONS
NAKAGAWA, AT
FUTATSUGI, K
SOFTWARE ENGINEERING JOURNAL, 1991, 6 (06): : 476 - 486
[23] PETRI NETS AND ALGEBRAIC SPECIFICATIONS
REISIG, W
THEORETICAL COMPUTER SCIENCE, 1991, 80 (01) : 1 - 34
[24] ALGEBRAIC SPECIFICATIONS FOR DOMAIN THEORY
NICKL, F
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 360 - 374
[25] Refinement of parameterized algebraic specifications
Srinivas, YV
ALGORITHMIC LANGUAGES AND CALCULI, 1997, : 164 - 186
[26] MODAL LOGIC AND ALGEBRAIC SPECIFICATIONS
MOSS, LS
THATTE, SR
THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) : 191 - 210
[27] BOUNDED IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS
BREU, M
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 181 - 198
[28] EXCEPTIONS FOR ALGEBRAIC SPECIFICATIONS - ON THE MEANING OF BUT
SCHOBBENS, PY
SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (1-2) : 73 - 111
[29] THE USE OF SORTS IN ALGEBRAIC SPECIFICATIONS
MOSSES, PD
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 66 - 91
[30] HYBRID IMPLEMENTATIONS OF ALGEBRAIC SPECIFICATIONS
WALTERS, HR
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 40 - 54

← 1 2 3 4 5 →