SPECIFICATION OF SCHEDULERS WITH ALGEBRAIC SPECIFICATION TECHNIQUES

被引：0

作者：

WADA, K

HAGIHARA, K

ARAKI, T

TOKURA, N

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1982年 / 143卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：42 / 62

页数：21

相关论文

共 50 条

[21] Topological methods for algebraic specification
Meinke, K
THEORETICAL COMPUTER SCIENCE, 1996, 166 (1-2) : 263 - 290
[22] Algebraic specification of reactive systems
Broy, M
THEORETICAL COMPUTER SCIENCE, 2000, 239 (01) : 3 - 40
[23] ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION
SANNELLA, D
TARLECKI, A
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 308 - 322
[24] ON RECENT TRENDS IN ALGEBRAIC SPECIFICATION
EHRIG, H
PEPPER, P
OREJAS, F
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 372 : 263 - 288
[25] Using algebraic specification techniques in development of object-oriented frameworks
Nakajima, S
FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1664 - 1683
[26] Verifying security Protocols for sensor networks using algebraic specification techniques
Ouranos, Iakovos
Stefaneas, Petros
ALGEBRAIC INFORMATICS, 2007, 4728 : 247 - +
[27] DATA TYPE SPECIFICATION - PARAMETERIZATION AND THE POWER OF SPECIFICATION TECHNIQUES
THATCHER, JW
WAGNER, EG
WRIGHT, JB
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04): : 711 - 732
[28] FROM AN ERAE REQUIREMENTS SPECIFICATION TO A PLUSS ALGEBRAIC SPECIFICATION - A CASE-STUDY
MAUBOUSSIN, A
PERDRIX, H
BIDOIT, M
GAUDEL, MC
HAGELSTEIN, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 490 : 395 - 431
[29] The Impact and Future Role of Algebraic Specification
Bull Eur Assoc Theor Comput Sci, 60 (74):
[30] PARAMETER PASSING IN ALGEBRAIC SPECIFICATION LANGUAGES
EHRIG, H
KREOWSKI, HJ
THATCHER, J
WAGNER, E
WRIGHT, J
THEORETICAL COMPUTER SCIENCE, 1984, 28 (1-2) : 45 - 81

← 1 2 3 4 5 →