A KERNEL LANGUAGE FOR ALGEBRAIC SPECIFICATION AND IMPLEMENTATION

被引：0

作者：

SANNELLA, D ^{[1
]}

WIRSING, M ^{[1
]}

机构：

[1] UNIV PASSAU,FAK INFORMAT,PASSAU,FED REP GER

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 158卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：413 / 427

页数：15

共 50 条

[21] CASL-CHART: A combination of statecharts and of the algebraic specification language CASL
Reggio, G
Repetto, L
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 243 - 257
[22] STRUCTURING AND MODULARIZING ALGEBRAIC SPECIFICATIONS - THE PLUSS SPECIFICATION LANGUAGE, EVOLUTIONS AND PERSPECTIVES
GAUDEL, MC
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 577 : 3 - 18
[23] IMPLEMENTING HIGHER-ORDER FUNCTIONS IN AN ALGEBRAIC SPECIFICATION LANGUAGE WITH NARROWING
REUS, B
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 483 - 484
[24] Multicore Programming in ParaSail Parallel Specification and Implementation Language
Taft, S. Tucker
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2011, 2011, 6652 : 196 - 200
[25] SPECIFICATION OF SCHEDULERS WITH ALGEBRAIC SPECIFICATION TECHNIQUES
WADA, K
HAGIHARA, K
ARAKI, T
TOKURA, N
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 143 : 42 - 62
[26] Abstract Implementation of Algebraic Specifications in a Temporal Logic Language
林惠民
龚淳
谢洪亮
Journal of Computer Science and Technology, 1991, (01) : 11 - 20
[27] Algebraic specification of documents
Ramalho, JC
Almeida, JJ
Henriques, P
THEORETICAL COMPUTER SCIENCE, 1998, 199 (1-2) : 231 - 247
[28] ALGEBRAIC SPECIFICATION OF CONCURRENCY
ASTESIANO, E
REGGIO, G
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 1 - 39
[29] CASL user manual - Introduction to using the common algebraic specification language - Introduction
Mossakowski, T
Sannella, D
Tarlecki, A
CASL USER MANUAL, 2004, 2900 : 3 - +
[30] A method to combine any process algebra with an algebraic specification language:: the π-Calculus example
Salaün, G
Allemand, M
Attiogbé, C
26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 385 - 390

← 1 2 3 4 5 →