STRUCTURED ALGEBRAIC SPECIFICATIONS - A KERNEL LANGUAGE

被引：46

作者：

WIRSING, M

机构：

[1] Univ Passau, Passau, West Ger, Univ Passau, Passau, West Ger

来源：

THEORETICAL COMPUTER SCIENCE | 1986年 / 42卷 / 02期

关键词：

D O I：

10.1016/0304-3975(86)90051-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

112

引用

页码：123 / 249

页数：127

共 50 条

[21] Automatically Generating Precise Oracles from Structured Natural Language Specifications
Motwani, Manish
Brun, Yuriy
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019), 2019, : 188 - 199
[22] HOW TO MAKE ALGEBRAIC SPECIFICATIONS MORE UNDERSTANDABLE - AN EXPERIMENT WITH THE PLUSS SPECIFICATION LANGUAGE
BIDOIT, M
GAUDEL, MC
MAUBOUSSIN, A
SCIENCE OF COMPUTER PROGRAMMING, 1989, 12 (01) : 1 - 38
[23] DERIVING ALGEBRAIC PETRI-NET SPECIFICATIONS FROM STRUCTURED ANALYSIS - A CASE-STUDY
KAN, CY
HE, XD
INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (08) : 411 - 434
[24] On the algebra of structured specifications
Diaconescu, Razvan
Tutu, Ionut
THEORETICAL COMPUTER SCIENCE, 2011, 412 (28) : 3145 - 3174
[25] OBSERVATIONAL IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS
HENNICKER, R
ACTA INFORMATICA, 1991, 28 (03) : 187 - 230
[26] DEVELOPMENT OF ALGEBRAIC SPECIFICATIONS WITH CONSTRAINTS
OREJAS, F
SACRISTAN, V
CLERICI, S
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 393 : 102 - 123
[27] PROPAGATING CHANGES IN ALGEBRAIC SPECIFICATIONS
NAKAGAWA, AT
FUTATSUGI, K
SOFTWARE ENGINEERING JOURNAL, 1991, 6 (06): : 476 - 486
[28] ALGEBRAIC SPECIFICATIONS WITH GENERATING CONSTRAINTS
EHRIG, H
WAGNER, EG
THATCHER, JW
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 188 - 202
[29] MODAL LOGIC AND ALGEBRAIC SPECIFICATIONS
MOSS, LS
THATTE, SR
THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) : 191 - 210
[30] EXCEPTIONS FOR ALGEBRAIC SPECIFICATIONS - ON THE MEANING OF BUT
SCHOBBENS, PY
SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (1-2) : 73 - 111

← 1 2 3 4 5 →