( en | de | ru )

 

Disambiguierung von "Harel, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
STATEMATE: A Working Environment for the Development of Complex Reactive Systems.

, , , , , , , und . IEEE Trans. Software Eng., 16 (4): 403-414 (1990)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

David Harel

Dipak Harel

Nissim Harel

Aza Harel

Harel Seidenwerg

 

Weitere Publikationen von Autoren mit dem selben Namen

Statecharts in use: structured analysis and object-orientation, , und . (1998)On Object Systems and Behavioral Inheritance, und . IEEE Trans. Softw. Eng., 28 (9): 889--903 (September 2002)Executable object modeling with statecharts, und . Computer, 30 (7): 31--42 (1997)Biocharts: a visual formalism for complex biological systems, , und . Journal of The Royal Society Interface, 7 (48): 1015--1024 (06.07.2010)Languages for Programming - From Punched Cards to Wise Computing.. MODELSWARD, Seite 9. SciTePress, (2018)What (Else) Should CS Educators Know?, und . Commun. ACM, 41 (9): 77-84 (1998)Nondeterminism in Logics of Programs., und . POPL, Seite 203-213. ACM Press, (1978)Completeness Results for Recursive Data Bases., und . PODS, Seite 244-252. ACM Press, (1993)On the Power of Bounded Concurrency II: The Pushdown Automata Level., und . CAAP, Volume 431 von Lecture Notes in Computer Science, Seite 1-17. Springer, (1990)Some Thoughts on Behavioral Programming.. Petri Nets, Volume 6128 von Lecture Notes in Computer Science, Seite 18. Springer, (2010)