Executable specification language for parallel symbolic computation

被引：0

作者：

Godlevsky, AB ^{[1
]}

Hluchy, L ^{[1
]}

机构：

[1] Slovak Acad Sci, Inst Informat, Bratislava 84237, Slovakia

来源：

EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS | 2000年 / 1900卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：754 / 757

页数：4

共 50 条

[1] Animating a non-executable formal specification with a distributed symbolic language
Ciancarini, P
Cimato, S
DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS, 1996, 1128 : 200 - 201
[2] An executable specification language for fast prototyping parallel responsive systems
Heping, H
Zedan, H
COMPUTER LANGUAGES, 1996, 22 (01): : 1 - 13
[3] Executable specification language for fast prototyping parallel responsive systems
Domino, Cambridge, United Kingdom
Comput Lang, 1 (1-13):
[4] MULTIPLE VIEWS OF AN EXECUTABLE SOFTWARE SPECIFICATION LANGUAGE
TUNG, Y
KHWAJA, AA
URBAN, JE
JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (03) : 305 - 319
[5] An executable specification language for specification understanding in object-oriented specification reuse
Chou, SC
Chen, JY
Chung, CG
INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (06) : 419 - 434
[6] An executable specification language based on message sequence charts
Roychoudhury, A
Thiagarajan, PS
FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 226 - 241
[7] AN EXECUTABLE SPECIFICATION LANGUAGE FOR ABSTRACT DATA-TYPES
BELKHOUCHE, B
URBAN, JE
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (04): : 247 - 251
[8] SALIENT FEATURES OF AN EXECUTABLE SPECIFICATION LANGUAGE AND ITS ENVIRONMENT
ZAVE, P
SCHELL, W
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 312 - 325
[9] SYMBOLIC COMPUTATION AND PARALLEL SOFTWARE
WANG, PS
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 591 : 316 - 337
[10] NUSL - AN EXECUTABLE SPECIFICATION LANGUAGE BASED ON DATA ABSTRACTION
JIANG, XJ
XU, YS
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 124 - 138

← 1 2 3 4 5 →