Spremljaj
David Harel
David Harel
Professor of Computer Science, The Weizmann Institute
Preverjeni e-poštni naslov na weizmann.ac.il - Domača stran
Naslov
Navedeno
Navedeno
Leto
Statecharts: A visual formalism for complex systems
D Harel
Science of computer programming 8 (3), 231-274, 1987
114251987
Dynamic logic
D Harel, D Kozen, J Tiuryn
ACM SIGACT News 32 (1), 66-69, 2001
31832001
On visual formalisms
D Harel
Communications of the ACM 31 (5), 514-530, 1988
20701988
Statemate: A working environment for the development of complex reactive systems
D Harel, H Lachover, A Naamad, A Pnueli, M Politi, R Sherman, ...
IEEE Transactions on software engineering 16 (4), 403-414, 1990
19731990
The STATEMATE semantics of statecharts
D Harel, A Naamad
ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (4), 293-333, 1996
18311996
On the development of reactive systems
D Harel, A Pnueli
Logics and models of concurrent systems, 477-498, 1984
15531984
LSCs: Breathing life into message sequence charts
W Damm, D Harel
Formal methods in system design 19, 45-80, 2001
13032001
Executable object modeling with statecharts
D Harel, E Gery
Proceedings of IEEE 18th International Conference on Software Engineering …, 1996
11081996
First-order dynamic logic
D Harel
Springer Berlin Heidelberg, 1979
10481979
Modeling reactive systems with statecharts: the STATEMATE approach
D Harel, M Politi
McGraw-Hill, Inc., 1998
10021998
Drawing graphs nicely using simulated annealing
R Davidson, D Harel
ACM Transactions on Graphics (TOG) 15 (4), 301-331, 1996
8591996
Algorithmics: The spirit of computing
D Harel, YA Feldman
Pearson Education, 2004
8532004
On the Formal Semantics of Statecharts.
D Harel, A Pnueli, JP Schmidt, R Sherman
Unknown Host Publication Title, 54-64, 1987
8501987
Meaningful modeling: What's the semantics of" semantics"?
D Harel, B Rumpe
Computer 37 (10), 64-72, 2004
8432004
Come, let's play: scenario-based programming using LSCs and the play-engine
D Harel, R Marelly
Springer, 2003
8272003
Structure and complexity of relational queries
A Chandra, D Harel
Journal of Computer and system Sciences 25 (1), 99-128, 1982
7611982
Computable queries for relational data bases (preliminary report)
AK Chandra, D Harel
Proceedings of the eleventh annual ACM symposium on Theory of computing, 309-318, 1979
6551979
A fast multi-scale method for drawing large graphs
D Harel, Y Koren
Proceedings of the working conference on Advanced visual interfaces, 282-285, 2000
553*2000
Horn clause queries and generalizations
AK Chandra, D Harel
The Journal of Logic Programming 2 (1), 1-15, 1985
4361985
Modeling languages: Syntax, semantics and all that stu
D Harel, B Rumpe
N/A n/a, 1-28, 2000
3612000
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20