STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS

被引：2843

作者：

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 条

[21]

PARNAS DL, 1969, P 24 NAT ACM C, P379

[22]

Pnueli A., 1977, 18th Annual Symposium on Foundations of Computer Science, P46, DOI 10.1109/SFCS.1977.32

[23]

Reisig W., 2012, PETRI NETS INTRO, V4

[24] STRUCTURED ANALYSIS (SA) - LANGUAGE FOR COMMUNICATING IDEAS [J].

ROSS, DT .

[25]

Schwartz R. L., 1981, 2nd International Conference on Distributed Computing Systems, P446

SUNSHINE, CA ;

THOMPSON, DH ;

ERICKSON, RW ;

GERHART, SL ;

SCHWABE, D .

[27]

TANENBAUM AS, 1981, COMPUTER NETWORKS

WARD, PT .

WASSERMAN, AI .

[30] TRANSITION NETWORK GRAMMARS FOR NATURAL LANGUAGE ANALYSIS [J].

WOODS, WA .