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 条

[31] IMPLEMENTATION OF MODULAR ALGEBRAIC SPECIFICATIONS
VANDIEPEN, NWP
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 300 : 64 - 78
[32] Parameterising (algebraic) specifications on diagrams
Dimitrakos, T
13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 221 - 224
[33] A TEMPORAL APPROACH TO ALGEBRAIC SPECIFICATIONS
FENG, YL
LIU, JB
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 216 - 229
[34] Visual construction of algebraic specifications
Neary, DS
Woodward, MR
2000 IEEE INTERNATIONAL SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 2000, : 79 - 80
[35] Randomness, computability, and algebraic specifications
Khoussainov, B
ANNALS OF PURE AND APPLIED LOGIC, 1998, 91 (01) : 1 - 15
[36] CONSTRAINTS FOR BEHAVIORAL SPECIFICATIONS
OREJAS, F
NIVELA, P
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 220 - 245
[37] PARALLEL SYSTEMS SPECIFICATIONS WITH COLORED PETRI NETS AND ALGEBRAIC SPECIFICATIONS
VAUTHERIN, J
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 266 : 293 - 308
[38] Method for translating natural language program specifications into algebraic specifications
Seki, Hiroyuki, 1600, (23):
[39] TOWARD FORMAL DEVELOPMENT OF PROGRAMS FROM ALGEBRAIC SPECIFICATIONS - MODEL THEORETIC FOUNDATIONS
SANNELLA, D
TARLECKI, A
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 655 - 671
[40] ALGEBRAIC AND OPERATIONAL SEMANTICS OF POSITIVE NEGATIVE CONDITIONAL ALGEBRAIC SPECIFICATIONS
KAPLAN, S
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 338 : 419 - 434

← 1 2 3 4 5 →