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] PROPAGATING CHANGES IN ALGEBRAIC SPECIFICATIONS
NAKAGAWA, AT
FUTATSUGI, K
SOFTWARE ENGINEERING JOURNAL, 1991, 6 (06): : 476 - 486
[22] MODAL LOGIC AND ALGEBRAIC SPECIFICATIONS
MOSS, LS
THATTE, SR
THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) : 191 - 210
[23] EXCEPTIONS FOR ALGEBRAIC SPECIFICATIONS - ON THE MEANING OF BUT
SCHOBBENS, PY
SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (1-2) : 73 - 111
[24] Refinement of parameterized algebraic specifications
Srinivas, YV
ALGORITHMIC LANGUAGES AND CALCULI, 1997, : 164 - 186
[25] BOUNDED IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS
BREU, M
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 181 - 198
[26] TOWARD FORMAL DEVELOPMENT OF PROGRAMS FROM ALGEBRAIC SPECIFICATIONS - IMPLEMENTATIONS REVISITED
SANNELLA, D
TARLECKI, A
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 249 : 96 - 110
[27] HYBRID IMPLEMENTATIONS OF ALGEBRAIC SPECIFICATIONS
WALTERS, HR
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 40 - 54
[28] THE USE OF SORTS IN ALGEBRAIC SPECIFICATIONS
MOSSES, PD
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 66 - 91
[29] Parameterising (algebraic) specifications on diagrams
Dimitrakos, T
13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 221 - 224
[30] IMPLEMENTATION OF MODULAR ALGEBRAIC SPECIFICATIONS
VANDIEPEN, NWP
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 300 : 64 - 78

← 1 2 3 4 5 →