David Harel

Weizmann Institute of Science - Rehovot / Israel

Engineering & Technology / Computer Science

AD Scientific Index ID: 294152

מכון ויצמן למדע

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Weizmann Institute of Science

David Harel's MOST POPULAR ARTICLES

1-) Statecharts: A visual formalism for complex systems Science of computer programming 8 (3), 231-274, 1987

2-) Dynamic logic ACM SIGACT News 32 (1), 66-69, 2001

3-) On visual formalisms Communications of the ACM 31 (5), 514-530, 1988

4-) Statemate: A working environment for the development of complex reactive systems IEEE Transactions on software engineering 16 (4), 403-414, 1990

5-) The STATEMATE semantics of statecharts ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (4), 293-333, 1996

ARTICLES

Add your articles