SOME TOPICS IN THE DESIGN OF THE SPECIFICATION LANGUAGE LOTOS

被引：0

|

作者：

CARCHIOLO, V

FARO, A

MINISSALE, F

SCOLLO, G

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 167卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：47 / 58

页数：12

相关论文

共 50 条

[21] Some topics on WIG (Ekranoplan) design
Ando, S
TRANSACTIONS OF THE JAPAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES, 1996, 39 (124) : 184 - 198
[22] SPECIFICATION AND IMPLEMENTATION OF AN ISDN TELEPHONE SYSTEM USING LOTOS
ERNBERG, P
HOVANDER, T
MONFORT, F
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 171 - 186
[23] SPECIFICATION AND VALIDATION OF A SIMPLE OVERTAKING PROTOCOL USING LOTOS
ERNBERG, P
FREDLUND, LA
JONSSON, B
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 377 - 392
[24] Using LOTOS in the specification of industrial bus communication protocols
Mariño, P
Domínguez, MA
Poza, F
Vázquez, F
COMPUTER NETWORKS, 2004, 45 (06) : 767 - 799
[25] FORMAL CONVERSION BETWEEN LOTOS SPECIFICATION AND GALILEO NETS
LEON, G
MARCHENA, S
MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 483 - 490
[26] Concurrency and data types: A specification method - An example with LOTOS
Poizat, P
Choppy, C
Royer, JC
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 277 - 292
[27] Design pattern specification language: Definition and application
Shin, W
Wu, C
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2003, E86D (06) : 1011 - 1023
[28] A Language for Biochemical Systems: Design and Formal Specification
Pedersen, Michael
Plotkin, Gordon D.
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
[29] DESIGN OF A SPECIFICATION LANGUAGE BY ABSTRACT SYNTAX ENGINEERING
BAETEN, JCM
BERGSTRA, JA
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 490 : 363 - 394
[30] LANGUAGE ISSUES IN THE SPECIFICATION AND DESIGN OF COMPOSITE SYSTEMS
FEATHER, MS
SIGPLAN NOTICES, 1989, 24 (04): : 159 - 161

← 1 2 3 4 5 →