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 条

[1] ALGEBRAIC SPECIFICATIONS WITH GENERATING CONSTRAINTS
EHRIG, H
WAGNER, EG
THATCHER, JW
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 188 - 202
[2] A CATEGORICAL CONCEPT OF CONSTRAINTS FOR ALGEBRAIC SPECIFICATIONS
EHRIG, H
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 393 : 1 - 15
[3] ALGEBRAIC-THEORY OF MODULE SPECIFICATIONS WITH CONSTRAINTS
EHRIG, H
FEY, W
PARISIPRESICCE, F
BLUM, EK
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 233 : 59 - 77
[4] CATEGORIES FOR THE DEVELOPMENT OF ALGEBRAIC MODULE SPECIFICATIONS
EHRIG, H
FEY, W
HANSEN, H
LOWE, M
PARISIPRESICCE, F
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 393 : 157 - 184
[5] STEPWISE SOFTWARE-DEVELOPMENT WITH ALGEBRAIC SPECIFICATIONS
BEIERLE, C
VOSS, A
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1991, 10 (01): : 35 - 51
[6] COMPATIBILITY PROBLEMS IN THE DEVELOPMENT OF ALGEBRAIC MODULE SPECIFICATIONS
EHRIG, H
FEY, W
HANSEN, H
LOWE, M
JACOBS, D
PARISIPRESICCE, F
THEORETICAL COMPUTER SCIENCE, 1990, 77 (1-2) : 27 - 71
[7] Development of communication protocols using algebraic and temporal specifications
Jmaiel, M
Pepper, P
COMPUTER NETWORKS, 2003, 42 (06) : 737 - 764
[8] THE DEVELOPMENT OF AN INTERPRETER BY MEANS OF ABSTRACT ALGEBRAIC SOFTWARE SPECIFICATIONS
KLAEREN, HA
PETZSCH, H
LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 335 - 346
[9] Algebraic Specifications: Organised and focussed approach in software development
Rakesh, L.
Singh, Manoranjan Kumar
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2010, 1 (01) : 16 - 21
[10] Algebraic imperative specifications
Gaudel, MC
Zamulin, A
PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 17 - 39

← 1 2 3 4 5 →