STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS

被引：2833

作者：

HAREL, D ^{[1
]}

机构：

[1] WEIZMANN INST SCI,DEPT APPL MATH,IL-76100 REHOVOT,ISRAEL

来源：

关键词：

D O I：

10.1016/0167-6423(87)90035-9

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：231 / &

共 33 条

[1]

BARTUR A, 1986, USING STATECHARTS DE

[2]

BERRY G, 1985, LECTURE NOTES COMPUT, V197

CLARKE, EM ;

EMERSON, EA ;

SISTLA, AP .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02) :244-263

[4]

DRUSINSKY D, 1985, CS8506 WEIZM I SCI D

[5]

EDWARDS MD, 1983, COMPUTER HARDWARE DE, P55

[6]

FERRENTINO AB, 1977, P IEEE COMPAS 77 C, P242

[7] TRANSITION DIAGRAM-BASED CAI-HELP SYSTEMS [J].

FEYOCK, S .

INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1977, 9 (04) :399-413

[8]

Green T. R. G., 1982, Behaviour and Information Technology, V1, P3, DOI 10.1080/01449298208914433

[9]

Hamilton M., 1976, IEEE Transactions on Software Engineering, VSe-2, P9, DOI 10.1109/TSE.1976.233798

[10]

Harel D., 1985, LOGICS MODELS CONCUR, P477, DOI DOI 10.1007/978-3-642-82453-1_17